Login / Signup
Systematic concurrency testing using CHESS.
Madan Musuvathi
Published in:
PADTAD (2008)
Keyphrases
</>
database systems
evaluation function
artificial intelligence
concurrency control
neural network
test cases
data flow
game playing
imperfect information