Slicing and dicing bugs in concurrent programs.

Neha Rungta Eric Mercer

Published in: ICSE (2) (2010)

Keyphrases

concurrent programs
concurrent programming
process algebra
source code
web applications
software systems
concurrent processes
software projects
formal specification
artificial intelligence
database systems
building blocks
test cases