机译:基于程序约束模型和测试用例的自动化调试
Technische Universitaet Graz, Institute for Software Technology, Inffeldgasse l6b/2, A-8010 Graz, Austria;
Technische Universitaet Graz, Institute for Software Technology, Inffeldgasse l6b/2, A-8010 Graz, Austria;
Technische Universitaet Graz, Institute for Software Technology, Inffeldgasse l6b/2, A-8010 Graz, Austria;
automated debugging; algorithmic debugging; model-based debugging; constraints; constraint satisfaction problem;
机译:电子表格程序的基于模型的诊断:基于约束的调试方法
机译:程序依赖关系的正式模型及其对软件测试,调试和维护的影响
机译:在基于测试平台的验证环境中进行自动设计调试
机译:使用排序约束来指定,测试和调试并发程序
机译:通过基于案例的推理提高约束满意度,从而诊断互操作性问题和调试模型。
机译:癌细胞的数字模型–现在是我们调试/重新编程癌细胞的时候了吗?
机译:基于程序约束模型和测试用例的自动化调试
机译:planWorks:基于约束的规划系统的调试环境