Dynamic Detection of Atomic-Set-Serializability Violations. - Hammer, Christian; Dolby, Julian; Vaziri, Mandana; Tip, Frank (ICSE: International Conference on Software Engineering, 2008)