11 search results - page 3 / 3 » A Decentralised Symbolic Diagnosis Approach |
SIGSOFT
2010
ACM
13 years 15 days ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...