program slicing; fault detection; testing; debugging; block coverage; decision coverage; dataflow coverage;
机译:HSFal:使用完整切片和执行切片的混合频谱进行有效的故障定位
机译:使用基于符号执行和切片技术的被动测试:在通信协议验证中的应用
机译:利用EB测试仪故障仿真和测试模式序列的组合电路EB测试仪故障定位算法。
机译:使用执行切片和数据流测试进行故障定位
机译:通过执行跟踪进行故障定位。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:使用执行切片和数据流测试进行故障定位