Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.

Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol

Browse the full ICWS paper archive.