• Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue and Daniel Gracia Pérez: Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack
  • Li Huang, Bertrand Meyer and Manuel Oriol: Is MCDC really better? Lessons from combining tests and proofs
  • Maximilian Schlüter and Bernhard Steffen: Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks
  • Loïc Correnson, Allan Blanchard, Adel Djoudi and Nikolai Kosmatov: No Smoke without Fire: Detecting Specification Inconsistencies with Frama-C/WP
  • Max Barth and Marie-Christine Jakobs: Refining CEGAR-based Test-Case Generation with Feasibility Annotations
  • Malte Lochau and Ina Schaefer: Model-based Testing of Quantum Computations
  • Hao Wu, Thomas Flinkow and Dominique Mery: Cyclone: A New Tool for Verifying / Testing Graph-based Structures
  • Malte Mues, Julian Rüschoff and Ben Hermann: Exploring Loose Coupling of Static Slicing with Dynamic Symbolic Execution on the JVM