%0 Conference Paper %1 conf/sas/GodefroidLR11 %A Godefroid, Patrice %A Lahiri, Shuvendu K. %A Rubio-González, Cindy %B SAS %D 2011 %E Yahav, Eran %I Springer %K dblp %P 112-128 %T Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. %U http://dblp.uni-trier.de/db/conf/sas/sas2011.html#GodefroidLR11 %V 6887 %@ 978-3-642-23701-0

@inproceedings{conf/sas/GodefroidLR11, added-at = {2017-05-24T00:00:00.000+0200}, author = {Godefroid, Patrice and Lahiri, Shuvendu K. and Rubio-González, Cindy}, biburl = {https://www.bibsonomy.org/bibtex/2a8f7d3c5154b578b8d952d8458bc0ce8/dblp}, booktitle = {SAS}, crossref = {conf/sas/2011}, editor = {Yahav, Eran}, ee = {https://doi.org/10.1007/978-3-642-23702-7_12}, interhash = {cf27fd8d9741de23ce94bfabd3272c64}, intrahash = {a8f7d3c5154b578b8d952d8458bc0ce8}, isbn = {978-3-642-23701-0}, keywords = {dblp}, pages = {112-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:46.000+0200}, title = {Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2011.html#GodefroidLR11}, volume = 6887, year = 2011 }