Finding Concurrency-Related Bugs Using Random Isolation.

Nicholas Kidd Thomas W. Reps Julian Dolby Mandana Vaziri

Published in: VMCAI (2009)

Keyphrases

real time
software systems
real world
artificial intelligence
database systems
source code
data flow
social networks
decision making
decision trees
multiscale
open source