Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques.
Prasad BokilPadmanabhan KrishnanR. VenkateshPublished in: ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
- test suite reduction
- reactive systems
- test suite
- test cases
- model checking
- test case generation
- temporal logic
- information flow
- state machines
- regression testing
- software testing
- petri net
- black box
- control flow
- java programs
- data sets
- model checker
- software engineering
- case study
- artificial intelligence
- machine learning