![](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
14th TAP@STAF 2020: Bergen, Norway
- Wolfgang Ahrendt
, Heike Wehrheim
:
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12165, Springer 2020, ISBN 978-3-030-50994-1
Regular Research Papers
- Bernhard K. Aichernig, Martin Tappler, Felix Wallner:
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. 3-22 - Pieter H. Hartel
, Richard Schumi
:
Mutation Testing of Smart Contracts at Scale. 23-42 - Alexander Kamkin
, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro:
Deductive Binary Code Verification Against Source-Code-Level Specifications. 43-58 - Hojat Khosrowjerdi, Hamed Nemati
, Karl Meinke:
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. 59-79 - Tomás Kolárik
, Stefan Ratschan
:
SAT Modulo Differential Equation Simulations. 80-99 - Dara Ly, Nikolai Kosmatov
, Frédéric Loulergue
, Julien Signoles
:
Verified Runtime Assertion Checking for Memory Properties. 100-121 - João Carlos Pereira
, Nuno Machado
, Jorge Sousa Pinto
:
Testing for Race Conditions in Distributed Systems via SMT Solving. 122-140
Tool Demonstration Papers
- Karine Altisen, Stéphane Devismes
, Erwan Jahier:
sasa: A SimulAtor of Self-stabilizing Algorithms. 143-154 - Paolo Masci, César A. Muñoz:
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. 155-166
Short Paper
- Martin Mariusz Lester
:
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. 169-179
![](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.