Model-based functional conformance testing of Web services operating on persistent dataAvik SinhaAmit Paradkar2006TAV WEB 2006