Concurrency testing using schedule bounding: an empirical study.

Paul Thomson Alastair F. Donaldson Adam Betts

Published in: PPOPP (2014)

Keyphrases

scheduling problem
concurrency control
upper bound
case study
object oriented languages
test cases
real world
image sequences
decision trees
information systems
programming language
software systems
data sets
scheduling algorithm
software testing
nested transactions
real time