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

by Tao Xie , Darko Marinov , Wolfram Schulte , David Notkin
Venue:In TACAS
Citations:115 - 18 self