Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

16th TAP@STAF 2022: Nantes, France

> Home > Conferences and Workshops > TAP
> Home > Conferences and Workshops > STAF

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/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2022
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

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/tap/Jakobs22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Jakobs22
Marie-Christine Jakobs:
Automatic Test-Case Generation with CoVeriTest (Extended Abstract). 3-8

Formal Analysis and Proofs

- view
  authority control:
- export record
  dblp key:
  - conf/tap/DierlH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/DierlH22
Simon Dierl, Falk Howar:
Reach on Register Automata via History Independence. 11-30
- view
  authority control:
- export record
  dblp key:
  - conf/tap/LembacharRNC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/LembacharRNC22
Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo:
Bddl: A Type System for Binary Decision Diagrams. 31-47
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Nagashima22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Nagashima22
Yutaka Nagashima:
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. 48-66

Effective Testing

- view
  authority control:
- export record
  dblp key:
  - conf/tap/KaufmannB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KaufmannB22
Daniela Kaufmann, Armin Biere:
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. 69-88
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MouzaraniKBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MouzaraniKBH22
Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari:
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. 89-105
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MarmsolerB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MarmsolerB22
Diego Marmsoler, Achim D. Brucker:
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. 106-125

a service of

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.