Skip to main content
Springer Nature Link
Log in

Tests and Proofs

18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Marieke Huisman

    1. University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Falk Howar

    1. TU Dortmund University, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 15153)

Included in the following conference series:

Conference proceedings info: TAP 2024.

  • 1082 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 119.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

​This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.

The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.

Similar content being viewed by others

Keywords

Table of contents (9 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Efficient Temporal Logic Runtime Monitoring for Tiny Systems

      • Rüdiger Ehlers
      Pages 3-21

  3. Quality of Tests and Proofs

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Is MCDC Really Better? Lessons from Combining Tests and Proofs

      • Li Huang, Bertrand Meyer, Manuel Oriol
      Pages 25-44

    3. Refining CEGAR-Based Test-Case Generation with Feasibility Annotations

      • Max Barth, Marie-Christine Jakobs
      Pages 45-64

    4. No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP

      • Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov
      Pages 65-83

  4. Testing and Proving Advanced Properties

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack

      • Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez
      Pages 87-106

    3. Cyclone: A New Tool for Verifying/Testing Graph-Based Structures

      • Hao Wu, Thomas Flinkow, Dominique Méry
      Pages 107-124

  5. Applications of Tests and Proofs

    1. Front Matter

      Pages 125-125
      Download chapter PDF

    2. Model-Based Testing of Quantum Computations

      • Malte Lochau, Ina Schaefer
      Pages 127-147

    3. Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks

      • Maximilian Schlüter, Bernhard Steffen
      Pages 148-167

    4. Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM

      • Malte Mues, Julian Rüschoff, Ben Hermann
      Pages 168-175

  6. Back Matter

    Pages 177-177
    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Editors and Affiliations

  • University of Twente, Enschede, The Netherlands

    Marieke Huisman

  • TU Dortmund University, Dortmund, Germany

    Falk Howar

Bibliographic Information

  • Book Title: Tests and Proofs

  • Book Subtitle: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

  • Editors: Marieke Huisman, Falk Howar

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-72044-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2025

  • Softcover ISBN: 978-3-031-72043-7Published: 10 September 2024

  • eBook ISBN: 978-3-031-72044-4Published: 09 September 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 177

  • Number of Illustrations: 31 b/w illustrations, 33 illustrations in colour

  • Topics: Philosophy, general, Logic, Theory of Computation

Publish with us

Policies and ethics

Back to top