![](/img/cover-not-exists.png)
[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Symbolic execution of programs with heap inputs
Braione, Pietro, Denaro, Giovanni, Pezzè, MauroYear:
2015
Language:
english
DOI:
10.1145/2786805.2786842
File:
PDF, 497 KB
english, 2015