Program
Tuesday, 5 July 2016
14:00–15:30 Opening and TAP Keynote (Chair: Carlo A. Furia)
Kim G. Larsen
From Testing and Verification to Performance Analysis and Synthesis of Cyber-Physical Systems [Abstract and CV]
16:00–17:30 Session 1 (Chair: Nikolai Kosmatov)
Shaoying Liu
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
James Cheney, Alberto Momigliano and Matteo Pessina
Advances in Property-Based Testing for alphaProlog
Franck Slama
Automatic Predicate Testing in Formal Certification (Short Paper)
18:30 Banquet
See the STAF website for details on the social events.
Wednesday, 6 July 2016
09:00–10:30 SEFM Keynote 1
Gul Agha
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems [Abstract and CV]
11:00–12:30 Session 2 (Chair: Shaoying Liu)
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti and Jacques Julliand
Your Proof Fails? Testing Helps to Find the Reason
Andreas Podelski, Martin Schäf and Thomas Wies
Classifying Bugs with Interpolants
Salvador Tamarit, Adrian Riesco, Enrique Martin-Martin and Rafael Caballero
Debugging Meets Testing in Erlang (Tool Demonstration)
12:30–14:00 Lunch
14:00–15:30 SEFM Keynote 2
Erika Ábrahám
Satisfiability Checking: Theory and Applications [Abstract and CV]
16:00–17:00 Session 3 (Chair: Alain Giorgetti)
Achim D. Brucker and Burkhart Wolff
Monadic Sequence Testing and Explicit Test-Refinements
Hermann Felbinger, Ingo Pill and Franz Wotawa
Classifying Test Suite Effectiveness via Model Inference and ROBBDs
19:00 Mayor’s Reception
See the STAF website for details on the social events.
Thursday, 7 July 2016
09:00–10:30 ECMFA Keynote
Krzysztof Czarnecki
A Model-Based Driver’s License for Self-Driving Cars: Challenges and Future Directions [Abstract and CV]
11:00–12:30 Session 4 (Chair: Burkhart Wolff)
Catherine Dubois, Alain Giorgetti and Richard Genestier
Tests and Proofs for Enumerative Combinatorics
Sebastian Gabmeyer and Martina Seidl
Lightweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers
Amani Makhlouf, Hanh Nhi Tran, Christian Percebois and Martin Strecker
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations (Short Paper)
12:30–14:00 Lunch
14:00–15:30 TAP Industrial Keynote (Chair: Bernhard K. Aichernig)
Klaus Reichl
Using Formal Methods for Verification and Validation in Railway
[Abstract and CV]
18:00 Cocktail Reception
See the STAF website for details on the social events.