Vol. 79 (2020): Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)

DOI: https://doi.org/10.14279/tuj.eceasst.79

Published: 2021-05-10

Preface

Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)

Stylianos Basagiannis, Anila Mjeda, Götz Botterweck
- PDF

Articles

Block-Based Models and Theorem Proving in Model-Based Development

Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
- PDF
CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems

Dario Varano, Gianluca Dini, Mariano Basile
- PDF
Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems

Anila Mjeda, Götz Botterweck
- PDF
Parsing BDD Stories for Automated Verification of Software Artefacts

Thiago Silva, Brian Fitzgerald
- PDF
ReForm: A Tool for Rapid Requirements Formalization

Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcala, Suresh Veluru, Stylianos Basagiannis
- PDF
Data Race Detection in the Linux Kernel with CPALockator

Pavel Andrianov, Vadim Mutilin
- PDF
Timed Automata for Mobile Ransomware Detection

Francesco Mercaldo, Fabio Martinelli, Antonella Santone
- PDF
Testing Interconnected Systems with Behavior Mining

Alexander Schieweck, Tiziana Margaria
- PDF