Lin Pan

Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach

Huai Liu, Yan Zhao, Chang-ai Sun, 2018, IEEE Transactions on Services Computing.

A transformation‐based approach to testing concurrent programs using UML activity diagrams

Yan Zhao, Chang-ai Sun, Dave Towey, 2016, Softw. Pract. Exp..