Login / Signup

Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).

Dirk Beyer
Published in: TACAS (2016)
Keyphrases
  • data sets
  • case study
  • low cost
  • cost effective
  • real time
  • object recognition
  • databases
  • data mining
  • expert systems
  • mobile robot
  • poor quality