![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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 217 matches
- 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 - Étienne André
, Dylan Marinho
, Jaco van de Pol
:
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF 2021: 39-50 - Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer:
Generating Timed UI Tests from Counterexamples. TAP@STAF 2021: 53-71 - Clovis Eberhart
, Akihisa Yamada
, Stefan Klikovits
, Shin-ya Katsumata
, Tsutomu Kobayashi
, Ichiro Hasuo
, Fuyuki Ishikawa
:
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF 2021: 22-38 - Karl Meinke, Hojat Khosrowjerdi:
Use Case Testing: A Constrained Active Machine Learning Approach. TAP@STAF 2021: 3-21 - Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu:
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. TAP@STAF 2021: 72-84 - Frédéric Loulergue
, Franz Wotawa
:
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. Lecture Notes in Computer Science 12740, Springer 2021, ISBN 978-3-030-79378-4 [contents] - 2020
- Bernhard K. Aichernig, Martin Tappler, Felix Wallner:
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. TAP@STAF 2020: 3-22 - Karine Altisen, Stéphane Devismes
, Erwan Jahier:
sasa: A SimulAtor of Self-stabilizing Algorithms. TAP@STAF 2020: 143-154 - Pieter H. Hartel
, Richard Schumi
:
Mutation Testing of Smart Contracts at Scale. TAP@STAF 2020: 23-42 - Alexander Kamkin
, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro:
Deductive Binary Code Verification Against Source-Code-Level Specifications. TAP@STAF 2020: 43-58
skipping 187 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-06-24 20:48 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