Symstra: A framework for generating object-oriented unit tests using symbolic execution (2005)

by T Xie, D Marinov, W Schulte, D Notkin
Venue:In Procs. of TACAS