Program Day 1 - Tuesday 5/11/2013
08:30 Registration
08:45 Opening Remarks,
Moshe Levinger, DGM, Verification and Cognitive computing, IBM research - Haifa
09:00 Keynote: EDA in the Cloud,
Dr. Leon Stok, IBM, USA
10:00 Break
10:30 Session 1: SAT- and SMT - based verification
Chair: Armin Biere
10:30 Backbones for Equality,
Michael Codish, Yoav Fekete, and Amit Metodi
10:55 PASS: String Solving with Parameterized Array and Interval Automation,
Guodong Li and Indradeep Ghosh
11:20 Increasing Confidence in Liveness Model Checking Results with Proofs,
Tuomas Kuismin
11:45 Speeding Up the Safety Verification of Programmable Logic Controller Code,
Tim Lange, Martin Neuhäußer, and Thomas Noll
12:40 Keynote Speaker: Opportunities and Challenges for High Performance Microprocessor Designs and Design Automation,
Dr. Ruchir Puri, IBM, USA
13:40 Lunch
14:40 Session 2: Software testing track
Chair: Shmuel Ur
14:40 Modeling Firmware as Service Functions and its Application to Test Generation,
Sunha Ahn and Sharad Malik
15:05 Symbolic Model-Based Testing for Industrial Automation Software,
Sabrina Von Styp and Liyong Yu
15:30 Break
15:45 Session 3: Software testing track
Chair: Mark Trakhtenbrot
15:45 Online testing of LTL properties for Java code,
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccohene
16:10 ModBat: A Model-based API Tester for Event-driven Systems,
Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto
16:35 Predictive Taint Analysis for Extended Testing of Parallel Executions,
Emmanuel Sifakis and Mounier Laurent
17:00 Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the Webinos Project (Tools and experience paper),
Tao Su, John Lyle, Andrea Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, and Christos Botsikas
17:15 Reception and Poster session
