program slicing; program testing; software reliability; augmenting phase; direct data dependency; dynamic slice technique; heuristic approach; program slice; software fault localization; testing requirement;
机译:基于约束逻辑规划的故障定位的重量优先切片
机译:一种基于遗传算法在多故障程序中有效故障定位的测试恢复方法
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:基于测试要求和程序切片的软件故障定位
机译:具有多个错误的程序的高级软件故障本地化
机译:基于约束逻辑编程的故障定位重量优先切片
机译:基于频谱和程序切片统计故障定位