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

DOI: http://dx.doi.org/10.14279/tuj.eceasst.79

Table of Contents

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

CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems
Dario Varano, Gianluca Dini, Mariano Basile
PDF
Data Race Detection in the Linux Kernel with CPALockator
Pavel Sergeevich Andrianov, Vadim Sergeevich Mutilin
PDF
Block-Based Models and Theorem Proving in Model-Based Development
Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
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
Testing Interconnected Systems with Behavior Mining
Alexander Schieweck, Tiziana Margaria
PDF
Parsing BDD Stories for Automated Verification of Software Artefacts
Thiago Rocha Silva, Brian Fitzgerald
PDF
Timed Automata for Mobile Ransomware Detection
Francesco Mercaldo, Fabio Martinelli, Antonella Santone
PDF
Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems
Anila Mjeda, Götz Botterweck
PDF