Hybrid concolic testing (2007)

by R Majumdar, K Sen
Venue:In Proceedings of the 29th International Conference on Software Engineering (ICSE