Path Conditions Help to Locate and Localize Faults from Programs.

Safeeullah Soomro Zahid Hussain Ayaz Keerio

Published in: CoRR (2013)

Keyphrases

sufficient conditions
fault diagnosis
automatic programming
neural network
shortest path
answer sets
multiple faults
data sets
artificial intelligence
multi agent
expert systems
data model
dynamic environments
computer programs
environmental conditions
fault model