Inductive Inference and Software Testing.
Hong ZhuPatrick A. V. HallJohn H. R. MayPublished in: Softw. Test. Verification Reliab. (1992)
Keyphrases
- inductive inference
- software testing
- test cases
- software development
- languages from positive data
- recursive functions
- software reliability
- grammatical inference
- quality assurance
- software engineering
- intrinsic complexity
- software systems
- test case generation
- kolmogorov complexity
- case based learning
- test data generation
- test suite
- learning from positive data
- white box testing
- integration testing
- testing process
- hypothesis spaces
- learning paradigms
- regression testing
- transductive inference
- algebraic structures
- test generation
- pattern languages
- test data
- databases
- formal specification
- development process
- code coverage
- relational databases
- feature space
- information systems