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

Tao Xie Darko Marinov Wolfram Schulte David Notkin

Published in: TACAS (2005)

Keyphrases

object oriented
symbolic execution
data sets
relational databases
database systems
specification language
test data generation