机译:最新技术:用于自动测试生成的动态符号执行
School of Computer Science & Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China;
School of Computer Science & Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China;
The Institute of North Electronic Equipment, Beijing 100191, China;
School of Computer Science & Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China;
School of Computer Science & Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China;
Dynamic symbolic execution; Automated test generation; Low false positives; High code-coverage; Challenges and solutions; Tools analysis; Prospects;
机译:通过动态符号执行,IEC 61131-3 ST程序自动测试生成
机译:扩展符号执行以实现存储过程的自动化测试
机译:使用符号执行的自动回归测试
机译:使用动态符号执行自动生成覆盖范围驱动的测试数据
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:妊娠中期和低危分娩时通过符号动力学对胎儿心率变异性的比较
机译:通过动态符号执行生成测试以进行突变测试