A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach.
Chang-Jia WangMing T. LiuPublished in: PSTV (1992)
Keyphrases
- generation method
- finite state machines
- mutation testing
- test suite
- test cases
- test sequences
- model checking
- regression testing
- test suite reduction
- finite state automata
- logic programming
- static analysis
- database applications
- software testing
- formal semantics
- hidden markov models
- derivation rules
- integration testing
- data management
- databases
- feature space
- testing process
- domain knowledge
- software engineering
- semantic information
- regular expressions
- test data