Software debugging and testing using the abstract diagnosis theory.
Samaneh NavabpourBorzoo BonakdarpourSebastian FischmeisterPublished in: LCTES (2011)
Keyphrases
- medical images
- software testing
- medical diagnosis
- fault localization
- test cases
- model based diagnosis
- quality assurance
- software development
- test data generation
- software systems
- root cause analysis
- program understanding
- causal reasoning
- testing process
- test case generation
- general theory
- software architecture
- regression testing
- program slicing
- software design
- computer systems
- computational model
- root cause
- user interface
- java programs
- integration testing
- model based reasoning
- hardware designs
- low level
- information systems
- software reliability
- object oriented
- dynamic analysis
- software engineering
- test suite
- software maintenance
- fault diagnosis