LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction.

Jeff Huang Charles Zhang

Published in: OOPSLA (2012)

Keyphrases

concurrent execution
software systems
data flow
source code
database systems
concurrency control
transaction processing
database
concurrent programming
computational grids
plan generation
data reduction
management system
data structure
artificial intelligence
information retrieval
data mining