C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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