Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.

Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin

Browse the full TACAS paper archive.