Software Fault Localization Using DStar (D*).

W. Eric Wong Vidroha Debroy Yihao Li Ruizhi Gao

Published in: SERE (2012)

Keyphrases

fault localization
program understanding
software testing
program slicing
software systems
software development

model based diagnosis
test cases
source code
fault detection
data abstraction
reverse engineering

database design
formal verification
test suite
data mining
management system

relational databases
expert systems
multi agent
case study
information systems