FreezeFrame: Compact Test Generation Using a Frozen Clock Strategy.

Yanti Santoso Matthew C. Merten Elizabeth M. Rudnick Miron Abramovici

Published in: DATE (1999)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
quality assurance
data sets
power consumption
learning algorithm
information systems
high level
high speed
software testing
test data generation
mutation testing