%0 Conference Paper %1 conf/sigsoft/BraioneDP13 %A Braione, Pietro %A Denaro, Giovanni %A Pezzè, Mauro %B ESEC/SIGSOFT FSE %D 2013 %E Meyer, Bertrand %E Baresi, Luciano %E Mezini, Mira %I ACM %K dblp %P 411-421 %T Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2013.html#BraioneDP13 %@ 978-1-4503-2237-9

@inproceedings{conf/sigsoft/BraioneDP13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Braione, Pietro and Denaro, Giovanni and Pezzè, Mauro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2261dbdeda9edb2e2696dbbbfc4858ffa/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2013}, editor = {Meyer, Bertrand and Baresi, Luciano and Mezini, Mira}, ee = {https://doi.org/10.1145/2491411.2491433}, interhash = {5fa9826e0d40f4f992b257596bae1ab2}, intrahash = {261dbdeda9edb2e2696dbbbfc4858ffa}, isbn = {978-1-4503-2237-9}, keywords = {dblp}, pages = {411-421}, publisher = {ACM}, timestamp = {2022-03-01T07:01:10.000+0100}, title = {Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2013.html#BraioneDP13}, year = 2013 }