Coverage guided systematic concurrency testing.

Chao Wang Mahmoud Said Aarti Gupta

Published in: ICSE (2011)

Keyphrases

test suite
database systems
concurrency control
test cases
data structure
qualitative and quantitative
code coverage
set of test cases
database
data sets
machine learning
information retrieval
object oriented
programming language
data flow
information redundancy