6. IJCAR 2012: Manchester, UK - COMPARE
Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (Eds.): Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 873
Abstracts of Invited Talks
- Leonardo Mendonça de Moura: Regression Tests and the Inventor's Dilemma. 1
- Aaron Stump, Geoff Sutcliffe, Cesare Tinelli: Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. 2
Contributed Papers
- Roberto Bruttomesso, Alberto Griggio: Broadening the Scope of SMT-COMP: the Application Track. 18-27
- Zheng Cheng, Rosemary Monahan, James F. Power: A Simple Complexity Measurement for Software Verification and Software Testing. 28-31
- Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump: The 2nd Verified Software Competition: Experience Report. 36-49
- Marieke Huisman, Vladimir Klebanov, Rosemary Monahan: On the Organisation of Program Verification Competitions. 50-59
- Florian Merz, Carsten Sinz, Stephan Falke: Challenges in Comparing Software Verification Tools for C. 60-65
- Olivier Roussel: Behind the Scene of Solvers Competitions: the "evaluation" Experience. 66-77
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team