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

by T Xie, D Marinov, W Schulte, D Notkin
Venue:of Lecture Notes in Computer Science,