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

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

Table of Contents

Preface

Preface
Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck
PDF

Articles

Cross-Programming Language Taint Analysis for the IoT Ecosystem
Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
PDF
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems
Cinzia Bernardeschi, Andrea Domenici, Sergio Saponara
PDF
Rigorous Design of FDIR Systems with BIP
Iulia Dragomir, Saddek Bensalem
PDF
Advances in Usability of Formal Methods for Code Verification with Frama-C
André Maroneze, Valentin Perrelle, Florent Kirchner
PDF
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
Robert Husák, Jan Kofroň, Filip Zavoral
PDF
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges
Anila Mjeda, Goetz Botterweck
PDF