Global cost functions for test generation.

Miron Abramovici David T. Miller R. Henning

Published in: ITC (1990)

Keyphrases

test generation
cost function
test cases
symbolic execution
design automation
software testing
test sequences
static analysis
feature space
quality assurance
computer vision
information systems
life cycle
development process