Using mutual information to test from Finite State Machines: Test suite generation.
Alfredo IbiasPublished in: J. Syst. Softw. (2022)
Keyphrases
- test suite
- mutation testing
- mutual information
- finite state machines
- test cases
- regression testing
- test sequences
- test suite reduction
- test generation
- information theoretic
- software testing
- model checking
- database applications
- set of test cases
- testing process
- static analysis
- image registration
- information gain
- number of test cases
- finite state automata
- integration testing
- medical image registration
- similarity measure
- computer vision
- code coverage
- databases
- data model
- digital circuits
- image quality