Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation.
Aleksandr S. TvardovskiiPublished in: ICTSS (2017)
Keyphrases
- test suite
- test case generation
- test cases
- test suite reduction
- software testing
- regression testing
- static analysis
- model checker
- number of test cases
- test data generation
- mutation testing
- finite state machines
- high level
- database
- artificial intelligence
- database management systems
- case study
- testing process
- java programs
- tool support
- regular expressions
- data management
- test set