ChangSup Keum Sungwon Kang In-Young Ko Jongmoon Baik Young-Il Choi Generating Test Cases for Web Services Using Extended Finite State Machine. 103-117 2006 conf/pts/2006 TestCom http://dx.doi.org/10.1007/11754008_7 db/conf/pts/testcom2006.html#KeumKKBC06