%0 Conference Paper %1 conf/popl/Godefroid07 %A Godefroid, Patrice %B POPL %D 2007 %E Hofmann, Martin %E Felleisen, Matthias %I ACM %K dblp %P 47-54 %T Compositional dynamic test generation. %U http://dblp.uni-trier.de/db/conf/popl/popl2007.html#Godefroid07 %@ 1-59593-575-4

@inproceedings{conf/popl/Godefroid07, added-at = {2021-06-25T00:00:00.000+0200}, author = {Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/2c9c36f73b481b4e5810bf54210448bcb/dblp}, booktitle = {POPL}, crossref = {conf/popl/2007}, editor = {Hofmann, Martin and Felleisen, Matthias}, ee = {https://doi.org/10.1145/1190215.1190226}, interhash = {6107062aaf82c47306d0cc9831cb31f9}, intrahash = {c9c36f73b481b4e5810bf54210448bcb}, isbn = {1-59593-575-4}, keywords = {dblp}, pages = {47-54}, publisher = {ACM}, timestamp = {2024-04-09T13:29:59.000+0200}, title = {Compositional dynamic test generation.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2007.html#Godefroid07}, year = 2007 }