Text this: Dynamic Detection of Atomic-Set-Serializability Violations.