![](/img/cover-not-exists.png)
[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Lazy counterfactual symbolic execution
Hallahan, William T., Xue, Anton, Bland, Maxwell Troy, Jhala, Ranjit, Piskac, RuzicaYear:
2019
DOI:
10.1145/3314221.3314618
File:
PDF, 343 KB
2019