Using Model-Based Diagnosis to Improve Software Testing.
Tom ZamirRoni Tzvi SternMeir KalechPublished in: AAAI (2014)
Keyphrases
- model based diagnosis
- software testing
- fault localization
- test cases
- discrete event systems
- software development
- model based reasoning
- diagnostic reasoning
- software reliability
- software engineering
- regression testing
- dynamic systems
- program slicing
- consistency based diagnosis
- physical systems
- high level
- quality assurance
- software systems
- open source
- information technology
- cooperative
- testing process
- test data generation
- decision trees
- real world