default search action

combined dblp search
author search
venue search
publication search

ask others

18th TAP 2024: Milan, Italy

> Home > Conferences and Workshops > TAP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tap/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2024
Marieke Huisman, Falk Howar:
Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 15153, Springer 2025, ISBN 978-3-031-72043-7

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/tap/Ehlers24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Ehlers24
Rüdiger Ehlers:
Efficient Temporal Logic Runtime Monitoring for Tiny Systems. 3-21

Quality of Tests and Proofs

- view
  authority control:
- export record
  dblp key:
  - conf/tap/HuangMO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HuangMO24
Li Huang, Bertrand Meyer, Manuel Oriol:
Is MCDC Really Better? Lessons from Combining Tests and Proofs. 25-44
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BarthJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BarthJ24
Max Barth, Marie-Christine Jakobs:
Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. 45-64
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BlanchardCDK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BlanchardCDK24
Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov:
No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. 65-83

Testing and Proving Advanced Properties

- view
  authority control:
- export record
  dblp key:
  - conf/tap/ZianiKLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ZianiKLP24
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez:
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack. 87-106
- view
  authority control:
- export record
  dblp key:
  - conf/tap/WuFM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/WuFM24
Hao Wu, Thomas Flinkow, Dominique Méry:
Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. 107-124

Applications of Tests and Proofs

- view
  authority control:
- export record
  dblp key:
  - conf/tap/LochauS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/LochauS24
Malte Lochau, Ina Schaefer:
Model-Based Testing of Quantum Computations. 127-147
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SchluterS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SchluterS24
Maximilian Schlüter, Bernhard Steffen:
Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. 148-167
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MuesRH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MuesRH24
Malte Mues, Julian Rüschoff, Ben Hermann:
Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. 168-175

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.