default search action

combined dblp search
author search
venue search
publication search

ask others

17th TAP 2023: Leicester, UK

> 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2023
Virgile Prevosto, Cristina Seceleanu:
Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings. Lecture Notes in Computer Science 14066, Springer 2023, ISBN 978-3-031-38827-9

Low-Level Code Verification

- view
  authority control:
- export record
  dblp key:
  - conf/tap/EngelVR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/EngelVR23
Daniel Engel, Freek Verbeek, Binoy Ravindran:
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/tap/NausVSR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/NausVSR23
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran:
Low-Level Reachability Analysis Based on Formal Logic. 21-39
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MonniauxGBL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MonniauxGBL23
David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel:
Testing a Formally Verified Compiler. 40-48

Formal Models

- view
  authority control:
- export record
  dblp key:
  - conf/tap/HuraultM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HuraultM23
Aurélie Hurault, João Marques-Silva:
Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. 51-67
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ClouetAAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ClouetAAS23
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles:
Context Specification Language for Formally Verifying Consent Properties on Models and Code. 68-93

Model-Based Test Generation

- view
  authority control:
- export record
  dblp key:
  - conf/tap/GogollaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GogollaH23
Martin Gogolla, Lars Hamann:
Proving Properties of Operation Contracts with Test Scenarios. 97-107
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Cimini23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Cimini23
Matteo Cimini:
Testing Languages with a Languages-as-Databases Approach. 108-126
- view
  authority control:
- export record
  dblp key:
  - conf/tap/KlaiBADO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KlaiBADO23
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi:
Symbolic Observation Graph-Based Generation of Test Paths. 127-146

Abstraction and Refinement

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tap/StraussM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/StraussM23
Megan Strauss, Stefan Mitsch:
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. 149-167
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BenajminS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BenajminS23
Thibaut Benjamin, Julien Signoles:
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. 168-186

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.