Automated systematic testing for constraint-based interactive services

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer. Automated systematic testing for constraint-based interactive services. In SIGSOFT FSE. pages 40-49, 2000. [doi]