Fault comprehension for concurrent programs.

Published in: ICSE (2013)

Keyphrases

concurrent programs
fault diagnosis
fault detection
concurrent programming
process algebra
web applications
asynchronous circuits
database
artificial intelligence
web services
formal methods