Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key.

Harald Lange Ralf Möller Bernd Neumann

Published in: KI (1996)

Keyphrases

test generation
test cases
symbolic execution
design automation
mutation testing
static analysis
high quality
software testing
test sequences
database
data sets
decision making
software engineering
quality assurance