The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software.
Tomohiko TakagiZengo FurukawaPublished in: ACIS-ICIS (2010)
Keyphrases
- test suite
- software testing
- set of test cases
- test cases
- code coverage
- software systems
- software development
- regression testing
- white box testing
- testing process
- software reliability
- software tools
- quality assurance
- software architecture
- software design
- test case generation
- test data generation
- development lifecycle
- source code
- embedded software
- model checking
- neural network
- finite state automata
- static analysis
- integration testing
- finite state machines
- model based testing
- software maintenance
- search based software testing