Specification of concretization and symbolization policies in symbolic execution

Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 25th International Symposium on Software Testing and Analysis
ISSTA 2016
Saarbrücken, Germany
Association for Computing Machinery
New York, NY, USA
Pages 36-46
Note(s): symbolic execution