VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition.

Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong

Browse the full ICSE paper archive.