![](/img/cover-not-exists.png)
[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization
Braione, Pietro, Denaro, Giovanni, Pezzè, MauroYear:
2013
Language:
english
DOI:
10.1145/2491411.2491433
File:
PDF, 506 KB
english, 2013