9th International Conference on Tests & Proofs

22–24 July 2015, L'Aquila, Italy


Wednesday, 22 July 2015

12:30–14:00   Lunch

14:00–15:30   Invited TAP Tutorial

Carlo A. Furia
Testing, Fixing, and Proving with Contracts   [slides]

16:00–17:30   Session 1: Test Generation     (Chair: Carlo A. Furia)

Jan Peleska, Felix Hübner, and Wen-Ling Huang
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy   [slides]

Bernhard K. Aichernig, Dejan Nickovic, and Stefan Tiran
Scalable incremental test-case generation from large behavior models   [slides]

Roderick Bloem, Daniel Hein, Franz Roeck, and Richard Schumi
Case Study: Automatic test case generation for a secure cache implementation

17:30–18:00   Informal discussions

Evening   Banquet

The banquet is included in the full STAF registration. Additional banquet tickets can be purchased otherwise. See the STAF website for details on the social events.

Thursday, 23 July 2015

09:00–10:30   ECMFA Keynote

Sam Nicander
Towards MBE – a tale of 4 introductions

11:00–12:30   Session 2: Applications     (Chair: Catherine Dubois)

Richard Genestier, Alain Giorgetti, and Guillaume Petiot
Sequential generation of structured arrays and its deductive verification   [slides]

Konstantinos Athanasiou, Hernan Ponce-De-Leon, and Stefan Schwoon
Test Case Generation for Concurrent Systems Using Event Structures   [slides]

Ernesto C. B. de Matos, David Déharbe, Anamaria M. Moreira, Cleverton Hentz, Valério de Medeiros Jr. and João B. Souza Neto
Verifying Code Generation Tools for the B-Method Using Tests: a Case Study   [slides]

12:30–14:00   Lunch

14:00–15:30   TAP Keynote

Einar Broch Johnsen
Mind the Gap: At the Crossroads of Design, Implementation, and Foundations

16:00–17:15   Session 3: Model-Based Verification     (Chair: Bernhard K. Aichernig)

Olga Grinchtein, Mats Carlsson, and Justin Pearson
A constraint optimization model for analysis of telecommunication protocol logs   [slides]

Aaron Dutle, Cesar Munoz, Anthony Narkawicz, and Ricky Butler
Software Validation via Model Animation   [slides]

Martin Gogolla, Lars Hamann, Frank Hilken, and Matthias Sedlmeier
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (Short Paper)   [slides]

17:15–18:00   Informal discussions

Friday, 24 July 2015

09:00–10:30   TAP Keynote

Francesco Zappa Nardelli
Reasoning about C Concurrency and Compilers   [slides]

11:00–12:30   Session 4: Model Coverage     (Chair: Einar Broch Johnsen)

Stefan Mijatov, Tanja Mayerhofer, Philip Langer, and Gerti Kappel
Testing Functional Requirements in UML Activity Diagrams   [slides]

Mathias Soeken, Julia Seiter, and Rolf Drechsler
Coverage of OCL Operation Specifications and Invariants   [slides]

Geoff Birch, Bernd Fischer, and Michael Poppleton
Fast Model-Based Fault Localisation with Test Suites   [slides]

12:30–14:00   Lunch