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. 77 (2019): Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)
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
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
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
Preface
Preface
Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck
PDF
Information
For Readers
For Authors
For Librarians