Mixed level test generation for high fault coverage.

Uwe Hübner H. Hinsen M. Hofebauer Heinrich Theodor Vierhaus

Published in: Microprocessing and Microprogramming (1991)

Keyphrases

test generation
test cases
symbolic execution
relational databases
static analysis
design automation
mutation testing
information systems
decision making
decision trees
case study
development process
test sequences
multi agent