Automated systematic testing for constraint-based interactive services

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