GAMBIT: effective unit testing for concurrency libraries.

Katherine E. Coons Sebastian Burckhardt Madanlal Musuvathi

Published in: PPOPP (2010)

Keyphrases

high quality
cooperative
database
databases
neural network
multimedia
web services
database systems
digital libraries
training set
highly efficient