Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 79 (2020): Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
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
Testing Interconnected Systems with Behavior Mining
Alexander Schieweck, Tiziana Margaria
PDF
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
Information
For Readers
For Authors
For Librarians