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]

Authors

Patrice Godefroid

This author has not been identified. Look up 'Patrice Godefroid' in Google

Lalita Jategaonkar Jagadeesan

This author has not been identified. Look up 'Lalita Jategaonkar Jagadeesan' in Google

Radha Jagadeesan

This author has not been identified. Look up 'Radha Jagadeesan' in Google

Konstantin Läufer

This author has not been identified. Look up 'Konstantin Läufer' in Google