header by Frank Schmidtke

10th International Conference on Tests & Proofs

5-7 July 2016, Vienna, Austria


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.