2012年比较
推理系统的比较实证评价

目录

• 前言
  
  

应邀会谈摘要

1. 回归测试与发明人的困境 1
   莱昂纳多·德·莫拉
2. 介绍StarExec：用于逻辑解决的跨社区基础设施 2
   Aaron Stump、Geoff Sutcliffe、Cesare Tinelli

已投稿论文

3. 评估交互式验证系统的可用性 3-17
   伯恩哈德·贝克特（Bernhard Beckert）、莎拉·格雷宾（Sarah Grebing）
4. 扩大SMT-COMP的范围：应用领域 18-27
   Roberto Bruttomesso、Alberto Griggio
5. 用于软件验证和测试的简单复杂性度量 28-31
   郑成、罗斯玛丽·莫纳汉、詹姆斯·鲍尔
6. 基准静态分析仪 32-35
   帕斯卡尔·库克（Pascal Cuoq）、弗洛伦特·基什内尔（Florent Kirchner）、鲍里斯·亚科博夫斯基（Boris Yakobowski）
7. 第二届验证软件竞赛：体验报告 36-49
   Jean-Christophe Filliátre、Andrei Paskevich、，亚伦·斯塔姆
8. 关于程序验证的组织竞争 50-59
   玛丽克·赫斯曼（Marieke Huisman）、弗拉基米尔·克莱巴诺夫（Vladimir Klebanov）、罗斯玛丽·莫纳汉（Rosemary Monahan）
9. 比较软件验证工具的挑战C类 60-65
   Florian Merz、Carsten Sinz、Stephan Falke
10. Solvers竞赛幕后：“评估”经验 66-77
    奥利维尔·罗塞尔

作者索引

• 作者索引