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]
@inproceedings{GodefroidJJL00,
title = {Automated systematic testing for constraint-based interactive services},
author = {Patrice Godefroid and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Konstantin Läufer},
year = {2000},
url = {http://portal.acm.org/citation.cfm?id=355045.355051},
tags = {rule-based, testing, constraints, systematic-approach},
researchr = {https://researchr.org/publication/GodefroidJJL00},
cites = {0},
citedby = {0},
pages = {40-49},
booktitle = {SIGSOFT FSE},
}