Test Adequacy Criteria Based on Inductive Inference of the Specification.
Jorge TriñanesDiego VallespirPublished in: CIbSE (2019)
Keyphrases
- inductive inference
- recursive functions
- kolmogorov complexity
- grammatical inference
- languages from positive data
- intrinsic complexity
- algebraic structures
- transductive inference
- hypothesis spaces
- pattern languages
- vc dimension
- closed sets
- case based learning
- test cases
- learning paradigms
- decision trees
- context free
- training set