COMPARE

Publications

2012

Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump
The 2nd Verified Software Competition: Experience Report. COMPARE (2012)
Roberto Bruttomesso, Alberto Griggio
Broadening the Scope of SMT-COMP: the Application Track. COMPARE (2012)
Zheng Cheng, Rosemary Monahan, James F. Power
A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE (2012)
Olivier Roussel
Behind the Scene of Solvers Competitions: the "evaluation" Experience. COMPARE (2012)
Florian Merz, Carsten Sinz, Stephan Falke
Challenges in Comparing Software Verification Tools for C. COMPARE (2012)
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
On the Organisation of Program Verification Competitions. COMPARE (2012)
Pascal Cuoq, Florent Kirchner, Boris Yakobowski
Benchmarking Static Analyzers. COMPARE (2012)
Bernhard Beckert, Sarah Grebing
Evaluating the Usability of Interactive Verification Systems. COMPARE (2012)
Leonardo Mendonça de Moura
Regression Tests and the Inventor's Dilemma. COMPARE (2012)
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. COMPARE (2012)

volume 873, 2012

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012 COMPARE 873 (2012)