%0 Journal Article %1 journals/tosem/KuchtaPC18 %A Kuchta, Tomasz %A Palikareva, Hristina %A Cadar, Cristian %D 2018 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 3 %P 10:1-10:32 %T Shadow Symbolic Execution for Testing Software Patches. %U http://dblp.uni-trier.de/db/journals/tosem/tosem27.html#KuchtaPC18 %V 27

@article{journals/tosem/KuchtaPC18, added-at = {2022-01-08T00:00:00.000+0100}, author = {Kuchta, Tomasz and Palikareva, Hristina and Cadar, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/2d0e114f6719f6e347c3a48ba409f6359/dblp}, ee = {https://doi.org/10.1145/3208952}, interhash = {1ec86ea5c7592a092696febc12d3af9c}, intrahash = {d0e114f6719f6e347c3a48ba409f6359}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 3, pages = {10:1-10:32}, timestamp = {2024-04-09T02:03:18.000+0200}, title = {Shadow Symbolic Execution for Testing Software Patches.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem27.html#KuchtaPC18}, volume = 27, year = 2018 }