Hybrid concolic testing. (2007)

by R Majumdar, K Sen
Venue:In Software Engineering,