A Reliability Estimator for Model Based Software Testing.
Kirk SayreJesse H. PoorePublished in: ISSRE (2002)
Keyphrases
- software testing
- software reliability
- test cases
- software development
- software systems
- white box testing
- fault localization
- quality assurance
- software engineering
- control flow
- code coverage
- regression testing
- test case generation
- labor intensive
- integration testing
- test suite
- testing process
- test generation
- test data generation
- maximum likelihood
- black box
- number of test cases
- formal specification
- case study
- artificial intelligence
- machine learning
- virtual machine
- prediction model
- knowledge management
- model based testing
- database