Vol. 77 (2019): Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)

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

Published: 2019-10-21

Articles

AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention

Robert Husák, Jan Kofroň, Filip Zavoral
- PDF
Rigorous Design of FDIR Systems with BIP

Iulia Dragomir, Saddek Bensalem
- PDF
Cross-Programming Language Taint Analysis for the IoT Ecosystem

Pietro Ferrara, Amit Mandal, Agostino Cortesi, Fausto Spoto
- PDF
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges

Anila Mjeda, Goetz Botterweck
- PDF
Advances in Usability of Formal Methods for Code Verification with Frama-C

André Maroneze, Valentin Perrelle, Florent Kirchner
- PDF
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems

Cinzia Bernardeschi, Andrea Domenici, Sergio Saponara
- PDF

Preface

Preface

Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck
- PDF