%0 Conference Paper %1 conf/icse/CadarP14 %A Cadar, Cristian %A Palikareva, Hristina %B ICSE Companion %D 2014 %E Jalote, Pankaj %E Briand, Lionel C. %E van der Hoek, André %I ACM %K %P 432-435 %T Shadow symbolic execution for better testing of evolving software. %U http://dblp.uni-trier.de/db/conf/icse/icse2014c.html#CadarP14 %@ 978-1-4503-2768-8

@inproceedings{conf/icse/CadarP14, added-at = {2023-12-12T18:36:30.000+0100}, author = {Cadar, Cristian and Palikareva, Hristina}, biburl = {https://www.bibsonomy.org/bibtex/2732ab7420319db61de0e2d056795f1dd/admin}, booktitle = {ICSE Companion}, crossref = {conf/icse/2014c}, editor = {Jalote, Pankaj and Briand, Lionel C. and van der Hoek, André}, ee = {https://doi.org/10.1145/2591062.2591104}, interhash = {14bb55bd46a3d450b70c7e4bde08cf76}, intrahash = {732ab7420319db61de0e2d056795f1dd}, isbn = {978-1-4503-2768-8}, keywords = {}, pages = {432-435}, publisher = {ACM}, timestamp = {2023-12-12T18:36:30.000+0100}, title = {Shadow symbolic execution for better testing of evolving software.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2014c.html#CadarP14}, year = 2014 }