![](/img/cover-not-exists.png)
[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Guiding dynamic symbolic execution toward unverified program executions
Christakis, Maria, Müller, Peter, Wüstholz, ValentinYear:
2016
Language:
english
DOI:
10.1145/2884781.2884843
File:
PDF, 1.05 MB
english, 2016