%0 Conference Paper %1 conf/issta/GodefroidL11 %A Godefroid, Patrice %A Luchaup, Daniel %B ISSTA %D 2011 %E Dwyer, Matthew B. %E Tip, Frank %I ACM %K dblp %P 23-33 %T Automatic partial loop summarization in dynamic test generation. %U http://dblp.uni-trier.de/db/conf/issta/issta2011.html#GodefroidL11 %@ 978-1-4503-0562-4

@inproceedings{conf/issta/GodefroidL11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Godefroid, Patrice and Luchaup, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/213496964028b9bf2cf88861b546ca7af/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2011}, editor = {Dwyer, Matthew B. and Tip, Frank}, ee = {https://doi.org/10.1145/2001420.2001424}, interhash = {e0753896aff98fd8a1875cc3836b2ec9}, intrahash = {13496964028b9bf2cf88861b546ca7af}, isbn = {978-1-4503-0562-4}, keywords = {dblp}, pages = {23-33}, publisher = {ACM}, timestamp = {2019-09-27T16:27:04.000+0200}, title = {Automatic partial loop summarization in dynamic test generation.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2011.html#GodefroidL11}, year = 2011 }