Adaptively generating high quality fixes for atomicity violations.

Yan Cai Lingwei Cao Jing Zhao

Published in: ESEC/SIGSOFT FSE (2017)

Keyphrases

generating high quality
high quality
electronic commerce
multidatabase systems
nested transactions
domain independent planning
acid properties
probability distribution
correctness criterion
genetic algorithm
search space
np complete
concurrency control