31 December 2012
Published
IEEE
10.1109/APSCC.2012.29
QA75 Electronic computers. Computer science
004 Data processing & computer science
Zhao, H., Sun, J., & Liu, X. (2012). A model checking based approach to automatic test suite generation for testing web services and BPEL. In Proceedings of IEEE Asia-Pacific Services Computing Conference, 61-69. https://doi.org/10.1109/APSCC.2012.29
ProfessorSchool of Computing Engineering and the Built Environment
0131 455 2747
X.Liu@napier.ac.uk
Automatic Test; BPEL Model Checking; LOTOS; Test Case Generation; Web Service Testing; TTCN-3;