Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications-Reference-Cited by-同舟云学术

Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications

Author:

Wang Hongda¹,Xing Jianchun¹,Yang Qiliang¹²,Song Wei³²,Zhang Xuewei¹

Affiliation:

1. College of Defense Engineering; PLA University of Science and Technology; Nanjing China

2. State Key Laboratory for Novel Software Technology; Nanjing University; Nanjing China

3. School of Computer Science and Engineering; Nanjing University of Science and Technology; Nanjing China

Funder

National Natural Science Foundation of China

National Basic Research Program of China

Foundation of State Key Laboratory for Novel Software Technology

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference50 articles.

4. Collaborative testing of web services;Zhu;IEEE Transactions on Services Computing,2012

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Framework for Reusable Test Case Generation in Software Systems Testing;Research Anthology on Agile Software, Software Development, and Testing;2022