...
机译:基于谓词切换和切片的WS-BPEL程序故障定位
School of Computer and Communication Engineering University of Science and Technology Beijing, Beijing 100083, China;
School of Computer and Communication Engineering University of Science and Technology Beijing, Beijing 100083, China;
School of Computer and Communication Engineering University of Science and Technology Beijing, Beijing 100083, China;
College of Engineering and Science, Victoria University, Melbourne 8001 VIC, Australia;
School of Computer Science, University of Nottingham Ningbo China, Zhejiang 315100, China;
Department of Computer Science, Purdue University, West Lafayette, Indiana, USA;
Fault localisation; Debugging; Business process execution language for; web services; Web services;
机译:WS-BPEL 2.0程序的基于时间故障的突变过程
机译:基于故障的计算机程序谓词测试理论
机译:快速测试套件驱动的基于模型的故障定位,可用于查明学生程序中的缺陷
机译:基于谓词的消息传递程序的动态切片
机译:面向对象程序的基于标准的混合切片算法。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:基于谓词交换和程序切片的WS-BPEL程序的故障定位
机译:基于saT的程序谓词抽象