default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 77
Volume 77, 2019
Interactive Workshop on the Industrial Application ofVerification and Testing (InterAVT@ETAPS 2019)
Preface
- Anila Mjeda, Stylianos Basagiannis
, Goetz Botterweck:
Preface.
Articles
- Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto:
Cross-Programming Language Taint Analysis for the IoT Ecosystem. - Cinzia Bernardeschi, Andrea Domenici, Sergio Saponara:
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems. - Iulia Dragomir, Saddek Bensalem:
Rigorous Design of FDIR Systems with BIP. - André Maroneze, Valentin Perrelle, Florent Kirchner:
Advances in Usability of Formal Methods for Code Verification with Frama-C. - Robert Husák, Jan Kofron, Filip Zavoral:
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention. - Anila Mjeda, Goetz Botterweck:
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-01 23:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
