反例理解相关论文
错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定......
针对错误原因提取效率低的问题，提出一种利用克雷格插值对模型检测器产生的反例进行自动理解的方法．该方法首先从反例失效状态出发推......
在复杂系统的错误定位过程中，为了寻找合适的证例，提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法，针对模型检......
