Automated Concurrency-Bug Fixing.

Guoliang Jin Wei Zhang Dongdong Deng

Published in: OSDI (2012)

Keyphrases

automated analysis
data driven
concurrency control
semi automated
management system
fully automated
data sets
website
medical images
computer aided
computer assisted