Login / Signup
Dynamic redundancy identification in automatic test generation.
Miron Abramovici
David T. Miller
Rabindra K. Roy
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1992)
Keyphrases
</>
test generation
dynamic environments
test cases
static analysis
test sequences
design automation
software testing
mutation testing
decision trees
case study
high quality
image quality
symbolic execution