Interleaving-Tree Based Fine-Grained Linearizability Fault Localization.

Yang Chen Zhenya Zhang Peng Wu Yu Zhang

Published in: SETTA (2018)

Keyphrases

fine grained
fault localization
model based diagnosis
coarse grained
program understanding
software testing
data abstraction
fault detection
access control
program slicing
neural network
database
knowledge base
case study
software development
data lineage