Login / Signup

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

Arnab SinhaSharad MalikChao WangAarti 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