Test-First for Abstracted Behavior of Software Using Extended Finite State Machine.
Tomohiko TakagiKoichiro SakataPublished in: ISSRE Workshops (2020)
Keyphrases
- finite state machines
- software testing
- test cases
- state transition
- cellular automaton
- software systems
- software architecture
- model checking
- software development
- finite state automata
- test data generation
- test suite
- software maintenance
- software tools
- software components
- state machine
- test data
- regular expressions
- embedded systems
- source code
- functional units
- integration testing