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

Hongda Wang, Jianchun Xing, Qiliang Yang, Wei Song, Xuewei Zhang. Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications. Softw. Test., Verif. Reliab., 26(2):149-169, 2016. [doi]

Abstract

Abstract is missing.