Software testing; Symbolic Execution; Partial-Order Reduction;
机译:从单元测试角度量化可能影响符号执行的Java程序特征的实证研究
机译:SQL代码的关系符号执行,用于数据库程序的单元测试
机译:通过动态符号执行,IEC 61131-3 ST程序自动测试生成
机译:通过集成进化测试和符号执行,提高对象面向程序的结构测试
机译:通过符号执行提高程序测试和理解。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:通过集成进化测试和符号执行来改进面向对象程序的结构测试
机译:符号执行增强系统测试。