Header
TAP location images

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
TAP footer image