Testing concurrent programs using value schedules.

Jun Chen Steve MacDonald

Published in: ASE (2007)

Keyphrases

concurrent programs
process algebra
concurrent programming
scheduling problem
concurrent systems
web applications
concurrent processes
database systems
database
end users
fine grained
model checking