![](/img/cover-not-exists.png)
[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Leveraging abstract interpretation for efficient dynamic symbolic execution
Alatawi, Eman, Sondergaard, Harald, Miller, TimYear:
2017
Language:
english
DOI:
10.1109/ASE.2017.8115672
File:
PDF, 229 KB
english, 2017