Testing atomicity of composed concurrent operations.

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

Browse the full OOPSLA paper archive.