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