Xutao Du Chunxiao Xing Lizhu Zhou Abstract Reachability Graph for Verifying Web Service Interfaces. 262-265 2008 ICSR http://dx.doi.org/10.1007/978-3-540-68073-4_26 conf/icsr/2008 db/conf/icsr/icsr2008.html#DuXZ08