Day 2 - Wednesday, 19 Nov 2014
09:00 - 09:50 Keynote: Statistical Program Analysis and Synthesis,
Prof. Martin Vechev, ETH Zürich
Session Chair: Eran Yahav
09:50 - 10:20 Break
10:20 - 11:40 Technical Session: Testing and Dynamic Analysis
Chair: Rachel Tzoref-Brill
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams,
Angelo Gargantini and Paolo Vavassori
Enhancing Scenario Quality Using Quasi-Events,
Eitan Marcus, Avi Ziv, and Yoav Katz
Automatic Error Localization for Software Using Deductive Verification,
Robert Koenighofer, Ronald Toegl, and Roderick Bloem
Generating JML Specifications from Alloy Expressions,
Christoph Gladisch, Daniel Grunwald, Tianhai Liu, Mana Taghdiri, and Shmuel Tyszberowicz
11:40 - 12:10 Break
12:10 - 13:00 Keynote: IBM POWER8, the OpenPOWER Ecosystem and Verification Directions,
Wolfgang Roesner, Fellow, IBM
Session Chair: Laurent Fournier
13:00 - 13:40 Technical Session: Synthesis
Synthesizing Finite-state Protocols from Scenarios and Requirements,
Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa
Supervisory Control of Discrete-Event Systems via IC3,
Mohammad Reza Shoaei, Laura Kovacs, and Bengt Lennartson
13:40 - 14:40 Lunch
14:40 - 21:00 Social Event - Nazareth Tour and Dinner
Keynote Speakers
- Prof. Moshe Vardi, Rice University
- Wolfgang Roesner, Fellow, IBM
- Prof. Martin Vechev, ETH Zürich
- Harry Foster, Chief Verification Scientist, Mentor Graphics
- Ziv Binyamini, Corporate VP & CTO, System and Software Solutions, Cadence