Login / Signup
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search.
Arnab Sinha
Sharad Malik
Chao Wang
Aarti Gupta
Published in:
Haifa Verification Conference (2011)
Keyphrases
</>
search space
search algorithm
search strategies
search strategy
search efficiency
search methods
search queries
search tools
databases
database systems
web search engines