Synchronizing sequences and symbolic traversal techniques in test generation.

Hyunwoo Cho Seh-Woong Jeong Fabio Somenzi Carl Pixley

Published in: J. Electron. Test. (1993)

Keyphrases

test generation
test sequences
test cases
mutation testing
symbolic execution
design automation
hidden markov models
software testing
static analysis
quality assurance
high level
database
test suite
tree structure
bit rate
cooperative
artificial intelligence
machine learning