ETH Zürich - Chair of Software Engineering - Program


July 2nd (Day 1)

8:30-9:15 Registration
9:15-9:30 Welcome
9:30-10:30 Keynote speaker: Sriram Rajamani.
Verification, Testing and Statistics
10:30-11:00 Coffee break
Session 1: 11:00-13:00
11:00-11:40 Development of a generic voter under FoCal. PDF slides
Philippe Ayrault, Thérèse Hardin, François Pessaux
11:40-12:20 Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. PPTX slides
Andrea Calvagna, Angelo Gargantini
12:20-13:00 Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization. PPTX slides
Yalda Fazlalizadeh, Alireza Khalilian, Mohammad Abdollahi Azgomi, Saeed Parsa
13:00-14:30 Lunch
Session 2: 14:30-16:30
14:30-15:10 Complementary Criteria for Testing Temporal Logic Properties. PDF slides
Gordon Fraser, Franz Wotawa
15:10-15:50 Could we have chosen a better Loop Invariant or Method Contract? PDF slides
Christoph Gladisch
15:50-16:10 Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder. PDF slides
Jasmin Christian Blanchette and Tobias Nipkow
16:10-16:30 Tool demonstration: Euclide. PDF slides
Benjamin Cama, Arnaud Gotlieb and Guillermo Andrade-Barroso
16:30-17:00 Coffee break
17:00-18:00 Technical discussion, discussion on the future of TAP
Evening reception: 18:30-21:00

July 3rd (Day 2)

9:30-10:30 Keynote speaker: Boutheina Chetali.
Security Testing and Formal Methods For High levels Certification Of Smart Cards
10:30-11:00 Coffee break
Session 3: 11:00-13:00
11:00-11:40 Consistency, Independence and Consequences in UML and OCL Models. PPT slides
Martin Gogolla, Mirco Kuhlmann, Lars Hamann
11:40-12:20 Dynamic Symbolic Execution for Testing Distributed Objects.
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
12:20-13:00 Combining Model Checking and Testing in a Continuous HW/SW Co-Verification Process. PDF slides
Paula Herber, Florian Friedemann, Sabine Glesner
13:00-14:30 Lunch
Session 4: 14:30-16:30
14:30-14:50 Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs. PDF slides
Rebekka Neumann, Michael Thies and Uwe Kastens
14:50-15:30 Symbolic execution based model checking of open systems with unbounded variables. PPT slides
Nicolas Rapin
15:30-16:10 Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. PDF slides
Stefan Ratschan, Jan-Georg Smaus
16:30-17:00 Coffee break