Department of Information Technology, Anna University, Chennai, Tamilnadu, India;
机译:基于遗传算法和粗糙集的混合方法用于减少医疗系统的输入属性
机译:遗传算法和动态符号执行的比较和集成,用于跨站点脚本漏洞的安全性测试
机译:通过动态符号执行和基于覆盖率的模糊测试发现更深的错误
机译:基于遗传算法和符号执行的Gase-An输入域减少和分支覆盖系统
机译:通过利用AFD型算法,频域系统识别线性时间不变的单输入单输出二维系统和多输入多输出1维系统
机译:基于遗传算法的具有一致状态的航空弹性系统模型降阶
机译:使用符号执行验证并发系统:时间推理是符号执行的一点点归纳