Augmented dynamic symbolic execution
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan De Halleux
2012
 PDF file |
In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Publisher ACM
Details
| Type | Inproceedings |
| URL | 10.1145/2351676.2351716 |
| Pages | 254–257 |
| Series | ASE 2012 |
| ISBN | 978-1-4503-1204-2 |
| Address | New York, NY, USA |
Related Projects
Related People
Related Groups
Related Labs
Share
