Patrice Godefroid Lalita Jategaonkar Jagadeesan Radha Jagadeesan Konstantin Läufer Automated systematic testing for constraint-based interactive services. 40-49 2000 SIGSOFT FSE http://portal.acm.org/citation.cfm?id=355045.355051 db/conf/sigsoft/fse2000.html#GodefroidJJL00