Validation of SDL specifications using EFSM-based test generation.
W. Eric WongAndy RestrepoByoungju ChoiPublished in: Inf. Softw. Technol. (2009)
Keyphrases
- finite state machines
- test generation
- mutation testing
- test cases
- test sequences
- model checking
- design automation
- static analysis
- symbolic execution
- regular expressions
- quality assurance
- hidden markov models
- test data generation
- real world
- decision trees
- formal specification
- code coverage
- machine learning
- software testing
- high level
- machine vision
- development process
- software development
- training data