Multiple redundancy removal during test generation and synthesis.

David M. Wu Robert M. Swanson

Published in: VTS (1992)

Keyphrases

test generation
test cases
symbolic execution
case study
databases
information systems
cooperative
monitoring system
test sequences