An EFSM-based Test Generation for Validation of SDL Specifications.

W. Eric Wong Andy Restrepo Yu Qi Byoungju Choi

Published in: AST (2008)

Keyphrases

test generation
finite state machines
test cases
mutation testing
symbolic execution
model checking
static analysis
test sequences
design automation
quality assurance
regular expressions
software testing
formal specification
hidden markov models
software development
multi agent
high level
case study
databases