Specification-Driven Unit Test Generation for Java Generic Classes.

Francisco Rebello de Andrade João Pascoal Faria Antónia Lopes Ana C. R. Paiva

Published in: IFM (2012)

Keyphrases

test generation
test cases
test sequences
source code
high level
static analysis
open source
symbolic execution
programming language
database applications
mutation testing
quality assurance
software testing
specification language
design automation
code coverage
case study
training set