Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.

Cormac Flanagan Stephen N. Freund Jaeheon Yi

Published in: PLDI (2008)

Keyphrases

genetic algorithm
dynamic environments
database
website
programming language
source code