Synthesizing tests for detecting atomicity violations.

Malavika Samak Murali Krishna Ramanathan

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

electronic commerce
multidatabase systems
real time
acid properties
database
data sets
information retrieval
fine grained
automatic detection
statistical tests