机译:通过AI自动计划技术为并发程序生成有效的测试
Department of Computer Science, University of Toronto, Toronto, Canada;
Department of Computer Science, University of Toronto, Toronto, Canada;
Department of Computer Science, University of Toronto, Toronto, Canada;
Concurrent programs; Testing; AI planning;
机译:无状态技术,用于生成全局和本地测试oracle,以传递消息并发程序
机译:技术,程序和测试对程序自动修复的影响:一项实证研究
机译:使用基于规范的测试技术为面向对象的程序生成测试用例
机译:用于使用AI规划技术合成的高保证程序的循环不变的自动发现
机译:有效的基于启发式的并发软件测试生成技术。
机译:规划公共卫生计划中的流行病学技术和数据
机译:使用ai规划技术自动发现用于高保证程序的循环不变量
机译:使用aI规划技术自动生成图像处理程序:初步报告