Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge.

Safeeullah Soomro Franz Wotawa

Published in: IEA/AIE (2009)

Keyphrases

domain knowledge
knowledge representation
learning systems
database
database systems
expert systems
detection method
fault diagnosis
knowledge sources
formal specification
high level
prior knowledge
knowledge discovery
knowledge transfer
fault detection
provably correct