%0 Conference Paper %1 conf/pldi/HallahanXBJP19 %A Hallahan, William T. %A Xue, Anton %A Bland, Maxwell Troy %A Jhala, Ranjit %A Piskac, Ruzica %B PLDI %D 2019 %E McKinley, Kathryn S. %E Fisher, Kathleen %I ACM %K dblp %P 411-424 %T Lazy counterfactual symbolic execution. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#HallahanXBJP19 %@ 978-1-4503-6712-7

@inproceedings{conf/pldi/HallahanXBJP19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Hallahan, William T. and Xue, Anton and Bland, Maxwell Troy and Jhala, Ranjit and Piskac, Ruzica}, biburl = {https://www.bibsonomy.org/bibtex/25ed5b9c9bec88ef62d4c5f854065ca2a/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2019}, editor = {McKinley, Kathryn S. and Fisher, Kathleen}, ee = {https://doi.org/10.1145/3314221.3314618}, interhash = {018bcbce7056de62925f14f8c60b83a4}, intrahash = {5ed5b9c9bec88ef62d4c5f854065ca2a}, isbn = {978-1-4503-6712-7}, keywords = {dblp}, pages = {411-424}, publisher = {ACM}, timestamp = {2024-04-10T06:17:16.000+0200}, title = {Lazy counterfactual symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#HallahanXBJP19}, year = 2019 }