Automatically Testing Web Services Choreography with Assertions.

Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding

Browse the full ICFEM paper archive.