12th International Conference on Tests & Proofs

Toulouse, June 27 - 29, 2018

Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)

Programme

Wednesday, June 27

09:00 – 10:30

• ECMFA Keynote 2 TBA
• 10:30 – 11:00 Coffee Break

11:00 – 12:30 TAP Session 1 (Chair: C. Dubois)

• TAP Opening
• Static and Dynamic Verification of Relational Properties on Self-Composed C Code (Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto and Guillaume Petiot)
• Tactic Program-based Testing and Bounded Verification in Isabelle/HOL (Chantal Keller)
• Formalizing (Web) Standards: An Application of Test and Proof (Achim D. Brucker and Michael Herzberg) (short paper)

12:30 – 14:00 Lunch Break

14:00 – 15:30: TAP Keynote (Chair: B. Wolff)

• Cooperative Verification: The Art of Combining Verification Tools (Dirk Beyer)
• 15:30 – 16:00 Coffee Break

16:00 – 17:30 ECMFA/TAP Session (Chair: J.-M. Bruel)

• Parallel Model Validation with Epsilon. (Sina Madani, Dimitris Kolovos and Richard Paige).
• Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report. (Kostyantyn Vorobyov, Nikolai Kosmatov and Julien Signoles)
• SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. (Ronan Baduel, Mohammad Chami, Jean-Michel Bruel and Iulian Ober)
• Property-aware Unit Testing of UML-RT Models in the Context of MDE. (Reza Ahmadi, Nicolas Hili and Jürgen Dingel).

Thursday, June 28

09:00 – 10:30

• SEFM Keynote 1:
  We Need a Formal Semantics for Testability Transformation; SEFM community to the rescue? (Mark Harman)
• 10:30 – 11:00 Coffee Break

11:00 – 12:30 TAP Session 3 - Tutorial (Chair: A. Brucker)

• Specify and Measure, Cover and Unmask: A Proof-Friendly View of Test Coverage Criteria (Sébastien Bardin and Nikolai Kosmatov.)

12:30 – 14:00 Lunch Break

14:00 – 17:30 Social Event (AeroScopia Museum and Airbus Plant)

19:00 – ????? Tonight Gala dinner

Friday, June 29

09:00 – 10:30

• SEFM Keynote 2:
  Hunting Resource Manipulation Bugs in Linux Kernel Code (Andrzej Wasowski)
• 10:30 – 11:00 Coffee Break

11:00 – 12:30 TAP session 4

• An Approximation-based Approach for the Random Exploration of Large Models (Julien Bernard, Pierre-Cyrille Heam and Olga Kouchnarenko)
• Verification Coverage for Combining Test and Proof (Viet Hoang Le, Virginie Wiels, Julien Signoles and Loïc Correnson).
• Ghosts for Lists: from Axiomatic to Executable Specifications (Frédéric Loulergue, Allan Blanchard and Nikolai Kosmatov) (short paper)

12:30 – 14:00 Lunch Break

14:00 - 15:30 TAP session 5

• Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties (Mihai Herda, Shmuel Tyszberowicz and Bernhard Beckert)
• Under-Approximation Generation Driven by Relevance Predicates and Variants (Voiron Guillaume, Jacques Julliand, Pierre-Alain Masson and Olga Kouchnarenko)
• Automated Test Case Generation for Java EE based Web Applications Andreas Fuchs (tool paper)
• Closing