A generic framework for symbolic execution (2013)

by A Arusoaie, D Lucanu, V Rusu
Venue:In 6th International Conference on Software Language Engineering, volume 8225 of LNCS