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
2016
Note(s):
symbolic execution
Papers related to Specification of concretization and symbolization policies in symbolic execution
Rethinking pointer reasoning in symbolic execution [coppa:ase:2017]
The opinions expressed are my own views and not my employer’s.