APA (7th ed.) Citation

Wang, H., Xing, J., Yang, Q., Song, W., & Zhang, X. (2016). Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications. Software Testing: Verification & Reliability, 26(2), 149. https://doi.org/10.1002/stvr.1592

Chicago Style (17th ed.) Citation

Wang, Hongda, Jianchun Xing, Qiliang Yang, Wei Song, and Xuewei Zhang. "Generating Effective Test Cases Based on Satisfiability Modulo Theory Solvers for Service-oriented Workflow Applications." Software Testing: Verification & Reliability 26, no. 2 (2016): 149. https://doi.org/10.1002/stvr.1592.

MLA (9th ed.) Citation

Wang, Hongda, et al. "Generating Effective Test Cases Based on Satisfiability Modulo Theory Solvers for Service-oriented Workflow Applications." Software Testing: Verification & Reliability, vol. 26, no. 2, 2016, p. 149, https://doi.org/10.1002/stvr.1592.