Memoized symbolic execution
Guowei Yang, Corina S. Păsăreanu, Sarfraz Khurshid[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 2012 International Symposium on Software Testing and Analysis
ISSTA 2012
Minneapolis, MN, USA
Association for Computing Machinery
New York, NY, USA
Pages 144-154
2012
Note(s): symbolic execution
ISSTA 2012
Minneapolis, MN, USA
Association for Computing Machinery
New York, NY, USA
Pages 144-154
2012
Note(s): symbolic execution