Abstract Reachability Graph for Verifying Web Service Interfaces.

Xutao Du, Chunxiao Xing, Lizhu Zhou

Browse the full ICSR paper archive.