@inproceedings{DBLP:conf/sigsoft/GodefroidJJL00,
author = {Patrice Godefroid and
Lalita Jategaonkar Jagadeesan and
Radha Jagadeesan and
Konstantin L{\"{a}}ufer},
title = {Automated systematic testing for constraint-based interactive services},
booktitle = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
an Diego, California, USA, November 6-10, 2000, Proceedings},
pages = {40--49},
year = {2000},
crossref = {DBLP:conf/sigsoft/2000},
url = {http://portal.acm.org/citation.cfm?id=355045.355051},
timestamp = {Mon, 10 Jun 2013 17:49:05 +0200},
biburl = {https://dblp.org/rec/bib/conf/sigsoft/GodefroidJJL00},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2000,
title = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
an Diego, California, USA, November 6-10, 2000, Proceedings},
publisher = {{ACM}},
year = {2000},
timestamp = {Mon, 10 Jun 2013 17:49:05 +0200},
biburl = {https://dblp.org/rec/bib/conf/sigsoft/2000},
bibsource = {dblp computer science bibliography, https://dblp.org}
}