Causal inference based fault localization for numerical software with NUMFL.
Zhuofu BaiGang ShuAndy PodgurskiPublished in: Softw. Test. Verification Reliab. (2017)
Keyphrases
- fault localization
- causal inference
- program understanding
- software testing
- model based diagnosis
- software development
- test cases
- abductive reasoning
- software systems
- causal models
- fault detection
- discrete data
- additive noise
- data abstraction
- nonmonotonic reasoning
- software components
- source code
- case study
- knowledge base
- knowledge discovery