9th International Conference on Tests & Proofs
22–24 July 2015, L'Aquila, Italy
Program
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]