Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
Automated systematic testing for constraint-based interactive services
FSE, 2000.
@inproceedings{FSE-2000-GodefroidJJL,
acmid = "355045.355051",
author = "Patrice Godefroid and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Konstantin Läufer",
booktitle = "{Proceedings of the Eighth Symposium on Foundations of Software Engineering}",
pages = "40--49",
publisher = "{ACM}",
title = "{Automated systematic testing for constraint-based interactive services}",
year = 2000,
}