Hybrid concolic testing (2007)

by R Majumdar, K Sen
Venue:In International Conference on Software Engineering