Statistical Fault Localization via Semi-dynamic Program Slicing.

Rongwei Yu Lei Zhao Lina Wang Xiaodan Yin

Published in: TrustCom (2011)

Keyphrases

fault localization
program slicing
model based diagnosis
fault detection
software testing
description languages
formal verification
source code
data abstraction
reverse engineering
artificial intelligence
open source
data management
formal specification