Saturation-based testing of concurrent programs.

Elena Sherman Matthew B. Dwyer Sebastian G. Elbaum

Published in: ESEC/SIGSOFT FSE (2009)

Keyphrases

concurrent programs
concurrent programming
web applications
process algebra
concurrent processes
real time
databases
programming language
information systems
relational databases
software engineering
concurrent systems