Automatic Test Generation for Space.

Ulisses Araújo Costa Daniela Carneiro da Cruz Pedro Rangel Henriques

Published in: SLATE (2012)

Keyphrases

test generation
test cases
database systems
test sequences
database
data sets
search space
design automation
databases
machine learning
case study
feature space
software testing
static analysis
symbolic execution
mutation testing