About this scholarly article

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Symbolic execution of programs with heap inputs by Braione, Pietro; Denaro, Giovanni; Pezzè, Mauro is a scholarly article available to read on EtoBox.

Author

Braione, Pietro; Denaro, Giovanni; Pezzè, Mauro

Publisher

ACM Press

Published

2015

Language

EN