Zhao, H., Sun, J., & Liu, X. (2012, December). A model checking based approach to automatic test suite generation for testing web services and BPEL