Test Generation in the Presence of Timing Exceptions and Constraints.

Dhiraj Goswami Kun-Han Tsai Mark Kassab Janusz Rajski

Published in: DAC (2007)

Keyphrases

test generation
test cases
test sequences
design automation
database
symbolic execution
static analysis
information systems
image processing
decision trees
case study
feature space
image quality
regression testing
mutation testing