Locating faults through automated predicate switching.

Xiangyu Zhang Neelam Gupta Rajiv Gupta

Published in: ICSE (2006)

Keyphrases

semi automated
fault diagnosis
first order logic
fully automated
fault detection
social networks
information systems
databases
machine learning
artificial intelligence
website
image segmentation
wireless sensor networks
knowledge representation
model based diagnosis