Applying Extended Finite State Machines in Software Testing of Interactive Systems.
Marcelo FantinatoMario JinoPublished in: DSV-IS (2003)
Keyphrases
- software testing
- finite state machines
- interactive systems
- test cases
- software development
- finite state automata
- software reliability
- human computer interaction
- model checking
- software engineering
- quality assurance
- software systems
- integration testing
- test data generation
- regression testing
- test case generation
- white box testing
- testing process
- test generation
- formal specification
- hidden markov models
- digital entertainment
- regular expressions
- number of test cases
- test suite
- database
- case study
- metadata
- decision making
- information systems
- machine learning
- model based testing
- databases