Concolic testing (2007)

by Koushik Sen
Venue:In Proceedings of the twenty-second IEEE/ACM International Conference on Automated Software Engineering