Efficient state merging in symbolic execution
- Kuznetsov, Volodymyr École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
- Kinder, Johannes École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
- Bucur, Stefan École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
- Candea, George École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
Published in:
- ACM SIGPLAN Notices. - Association for Computing Machinery (ACM). - 2012, vol. 47, no. 6, p. 193-204
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.1145/2345156.2254088
- ISSN 0362-1340
- Persistent URL
- https://fredi.hepvs.ch/global/documents/231383
Statistics
Document views: 51
File downloads:
- Full-text: 0