Search For:

Displaying 1-7 out of 7 total
Contract-Based Mutation for Testing Components
Found in: Software Maintenance, IEEE International Conference on
By Ying Jiang, Shan-Shan Hou, Jin-Hui Shan, Lu Zhang, Bing Xie
Issue Date:September 2005
pp. 483-492
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, whic...
 
Effective Message-Sequence Generation for Testing BPEL Programs
Found in: IEEE Transactions on Services Computing
By Yitao Ni, Shan-Shan Hou, Lu Zhang, Jun Zhu, Zhong Jie Li, Qian Lan, Hong Mei, Jia-Su Sun
Issue Date:January 2013
pp. 7-19
With the popularity of Web Services and Service-Oriented Architecture (SOA), quality assurance of SOA applications, such as testing, has become a research focus. Programs implemented by the Business Process Execution Language for Web Services (WS-BPEL), wh...
 
Is operator-based mutant selection superior to random mutant selection?
Found in: Software Engineering, International Conference on
By Lu Zhang,Shan-Shan Hou,Jun-Jue Hu,Tao Xie,Hong Mei
Issue Date:May 2010
pp. 435-444
Due to the expensiveness of compiling and executing a large number of mutants, it is usually necessary to select a subset of mutants to substitute the whole set of generated mutants in mutation testing and analysis. Most existing research on mutant selecti...
 
Generating Effective Test Sequences for BPEL Testing
Found in: Quality Software, International Conference on
By Shan-Shan Hou, Lu Zhang, Qian Lan, Hong Mei, Jia-Su Sun
Issue Date:August 2009
pp. 331-340
With the popularity of Web Services and Service-Oriented Architecture (SOA), quality assurance of SOA applications, such as testing, has become a research focus. Programs implemented by Business Process Execution Language for Web Services (BPEL), which can...
 
Test-Data Generation for Web Services Based on Contract Mutation
Found in: Secure System Integration and Reliability Improvement
By Ying Jiang, Ying-Na Li, Shan-Shan Hou, Lu Zhang
Issue Date:July 2009
pp. 281-286
Software testing is one of the most important techniques used to assure the quality of Web Services at present. Test-data generation is an important topic in Web Services testing. The quality of test data will influence the efficiency and cost when testing...
 
PathART: path-sensitive adaptive random testing
Found in: Proceedings of the 5th Asia-Pacific Symposium on Internetware (Internetware '13)
By Chun Zhang, Dan Hao, Lu Zhang, Shan-Shan Hou
Issue Date:October 2013
pp. 1-4
As test data widely spreading on the input domain may not thoroughly test the program's logic, in this paper, we propose an approach to generating test data widely spreading on a program's execution paths. In particular, we analyze execution paths of the p...
     
Time-aware test-case prioritization using integer linear programming
Found in: Proceedings of the eighteenth international symposium on Software testing and analysis (ISSTA '09)
By Chao Guo, Hong Mei, Lu Zhang, Shan-Shan Hou, Tao Xie
Issue Date:July 2009
pp. 5-6
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all the test cases, time-aware techniques for test-case prioritization may achieve...
     
 1