Bug-Assist: Assisting Fault Localization in ANSI-C Programs.

Manu Jose Rupak Majumdar

Published in: CAV (2011)

Keyphrases

fault localization
program slicing
source code
model based diagnosis
program understanding
software testing
fault detection
software systems
data abstraction
software projects
description languages
open source
computational intelligence
knowledge base
formal verification
data model
search space