


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


default search action
16th TAP@STAF 2022: Nantes, France
- 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
- Marie-Christine Jakobs
:
Automatic Test-Case Generation with CoVeriTest (Extended Abstract). 3-8
Formal Analysis and Proofs
- Simon Dierl
, Falk Howar
:
Reach on Register Automata via History Independence. 11-30 - Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo:
Bddl: A Type System for Binary Decision Diagrams. 31-47 - Yutaka Nagashima
:
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. 48-66
Effective Testing
- Daniela Kaufmann
, Armin Biere
:
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. 69-88 - Maryam Mouzarani
, Ali Kamali
, Sara Baradaran
, Mahdi Heidari
:
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. 89-105 - Diego Marmsoler
, Achim D. Brucker
:
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. 106-125

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.