Automatic test generation using genetically-engineered distinguishing sequences.

Michael S. Hsiao Elizabeth M. Rudnick Janak H. Patel

Published in: VTS (1996)

Keyphrases

test generation
test sequences
test cases
symbolic execution
design automation
mutation testing
static analysis
hidden markov models
sequential patterns
metadata