Zhao, Huiqun, Sun, Jing, Liu, Xiaodong, "A model checking based approach to automatic test suite generation for testing web services and BPEL.", , 2025