Testing Software Design Modeled by Finite-State Machines.
Tsun S. ChowPublished in: IEEE Trans. Software Eng. (1978)
Keyphrases
- software design
- finite state machines
- model based testing
- software systems
- software development
- software engineering
- finite state automata
- object oriented design
- model checking
- design patterns
- mutation testing
- software testing
- regular expressions
- functional requirements
- uml diagrams
- artificial intelligence
- databases
- educational software
- test cases
- hidden markov models
- learning algorithm
- knowledge management
- test generation
- database systems
- machine learning