CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases.
Pedro OrvalhoMikolás JanotaVasco M. ManquinhoPublished in: CoRR (2024)
Keyphrases
- fault localization
- software testing
- test cases
- model based diagnosis
- program slicing
- test case generation
- regression testing
- set of test cases
- number of test cases
- test generation
- test suite
- test set
- diagnostic systems
- physical systems
- software development
- model based testing
- testing process
- hardware designs
- test case selection
- fault detection
- software systems
- software engineering
- dynamic systems
- constraint programming
- object oriented
- artificial intelligence
- databases
- data abstraction
- model checking
- decision support system
- training set
- expert systems
- cooperative