Testing atomicity of composed concurrent operations.

Ohad Shacham Nathan Grasso Bronson Alex Aiken Mooly Sagiv Martin T. Vechev Eran Yahav

Published in: OOPSLA (2011)

Keyphrases

concurrent programs
nested transactions
electronic commerce
concurrent processes
test suite
query language
write operations