Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search

Authors: Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta - Lecture notes in computer science 2011 cited by 17