Search For:

Displaying 1-3 out of 3 total
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions
Found in: 2013 IEEE International Conference on Web Services (ICWS)
By Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan
Issue Date:June 2013
pp. 147-154
Many web services represent their artifacts in the semi-structural format. Such artifacts may or may not be structurally complex. Many existing test case prioritization techniques however treat test cases of different complexity generically. In this paper,...
A Subsumption Hierarchy of Test Case Prioritization for Composite Services
Found in: IEEE Transactions on Services Computing
By Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan,Zhenyu Zhang,T.H. Tse
Issue Date:June 2014
pp. 1
Many composite workflow services utilize non-imperative XML technologies such as WSDL, XPath, XML schema, and XML messages. Regression testing should assure the services against regression faults that appear in both the workflows and these artifacts. In th...
ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
Found in: IEEE Transactions on Parallel and Distributed Systems
By Yan Cai,Changjiang Jia,Shangru Wu,Ke Zhai,W.K. Chan
Issue Date:February 2014
pp. 1
Many large-scale multithreaded programs incur deadlock bugs. Existing deadlock warning detection techniques only report warning scenarios, which may or may not be real deadlocks. Each warning should be further verified on whether it may manifest into a rea...