Using test case reduction and prioritization to improve symbolic execution

Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 2014 International Symposium on Software Testing and Analysis
ISSTA 2014
San Jose, CA, USA
Association for Computing Machinery
New York, NY, USA
Pages 160-170
2014