Automated systematic testing for constraint-based interactive services

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
January, 2000
Cite DOI URL
Type
1
Publication
ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings