default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 227 matches
- 2025
- 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 [contents] - 2024
- Max Barth, Marie-Christine Jakobs:
Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. TAP 2024: 45-64 - Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov:
No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. TAP 2024: 65-83 - Rüdiger Ehlers:
Efficient Temporal Logic Runtime Monitoring for Tiny Systems. TAP 2024: 3-21 - Li Huang, Bertrand Meyer, Manuel Oriol:
Is MCDC Really Better? Lessons from Combining Tests and Proofs. TAP 2024: 25-44 - Malte Lochau, Ina Schaefer:
Model-Based Testing of Quantum Computations. TAP 2024: 127-147 - Malte Mues, Julian Rüschoff, Ben Hermann:
Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. TAP 2024: 168-175 - Maximilian Schlüter, Bernhard Steffen:
Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. TAP 2024: 148-167 - Hao Wu, Thomas Flinkow, Dominique Méry:
Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. TAP 2024: 107-124 - 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. TAP 2024: 87-106 - 2023
- Thibaut Benajmin, Julien Signoles:
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. TAP 2023: 168-186 - Matteo Cimini:
Testing Languages with a Languages-as-Databases Approach. TAP 2023: 108-126 - Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles:
Context Specification Language for Formally Verifying Consent Properties on Models and Code. TAP 2023: 68-93 - Daniel Engel, Freek Verbeek, Binoy Ravindran:
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. TAP 2023: 3-20 - Martin Gogolla, Lars Hamann:
Proving Properties of Operation Contracts with Test Scenarios. TAP 2023: 97-107 - Aurélie Hurault, João Marques-Silva:
Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. TAP 2023: 51-67 - Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi:
Symbolic Observation Graph-Based Generation of Test Paths. TAP 2023: 127-146 - David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel:
Testing a Formally Verified Compiler. TAP 2023: 40-48 - Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran:
Low-Level Reachability Analysis Based on Formal Logic. TAP 2023: 21-39 - 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. TAP 2023: 149-167 - 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 [contents] - 2022
- Simon Dierl, Falk Howar:
Reach on Register Automata via History Independence. TAP@STAF 2022: 11-30 - Marie-Christine Jakobs:
Automatic Test-Case Generation with CoVeriTest (Extended Abstract). TAP@STAF 2022: 3-8 - Daniela Kaufmann, Armin Biere:
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. TAP@STAF 2022: 69-88 - Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo:
Bddl: A Type System for Binary Decision Diagrams. TAP@STAF 2022: 31-47 - Diego Marmsoler, Achim D. Brucker:
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. TAP@STAF 2022: 106-125 - Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari:
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. TAP@STAF 2022: 89-105 - Yutaka Nagashima:
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. TAP@STAF 2022: 48-66 - Laura Kovács, Karl Meinke:
Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. Lecture Notes in Computer Science 13361, Springer 2022, ISBN 978-3-031-09826-0 [contents] - 2021
- Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. TAP@STAF 2021: 85-105
skipping 197 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-08 07:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint