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

著者: Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta - Lecture notes in computer science 2011 被引用: 17