Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization.
Natalia KushikNina YevtushenkoJorge LópezPublished in: ICTSS (2021)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- software testing
- test case generation
- testing process
- black box
- static analysis
- probabilistic model
- number of test cases
- mutation testing
- objective function
- code coverage
- uncertain data
- finite state machines
- test generation
- test sequences
- test data
- decomposable negation normal form
- set of test cases
- neural network
- posterior probability
- data driven
- bayesian networks
- probabilistic reasoning
- regularization term
- model checking
- pattern matching
- generative model
- machine learning
- databases