Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

13th TAP@FM 2019: Porto, Portugal

> Home > Conferences and Workshops > TAP

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/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2019
Dirk Beyer, Chantal Keller:
Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Lecture Notes in Computer Science 11823, Springer 2019, ISBN 978-3-030-31156-8

Invited Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/tap/0002JPW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/0002JPW19
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
When Are Software Verification Results Valid for Approximate Hardware? 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CavalcantiBHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CavalcantiBHL19
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru:
Testing Robots Using CSP. 21-38

Regular Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/tap/KapusNC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KapusNC19
Timotej Kapus, Martin Nowack, Cristian Cadar:
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? 41-54
- view
  authority control:
- export record
  dblp key:
  - conf/tap/LavillonniereMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/LavillonniereMC19
Eric Lavillonnière, David Mentré, Denis Cousineau:
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. 55-63
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BosT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BosT19
Petra van den Bos, Jan Tretmans:
Coverage-Based Testing with Symbolic Transition Systems. 64-82
- view
  authority control:
- export record
  dblp key:
  - conf/tap/OliveiraMDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/OliveiraMDM19
Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante:
BTestBox: A Tool for Testing B Translators and Coverage of B Models. 83-92
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AichernigPSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AichernigPSW19
Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm:
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. 93-111
- view
  authority control:
- export record
  dblp key:
  - conf/tap/PetrenkoA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/PetrenkoA19
Alexandre Petrenko, Florent Avellaneda:
Learning Communicating State Machines. 112-128
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AndreAGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AndreAGR19
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. 129-146
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HuraultQ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HuraultQ19
Aurélie Hurault, Philippe Quéinnec:
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. 147-166
- view
  authority control:
- export record
  dblp key:
  - conf/tap/RoblesKPRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/RoblesKPRG19
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. 167-185
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AngelisFPPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AngelisFPPP19
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Property-Based Test Case Generators for Free. 186-206

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.