• 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.

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