ICST 2021
Mon 12 - Fri 16 April 2021
Tue 13 Apr 2021 13:00 - 13:30 at Porto de Galinhas - Testing and Learning Chair(s): Andrea Stocco

Modern software systems rely on Deep Neural Networks (DNN) when processing complex, unstructured inputs, such as images, videos, natural language texts or audio signals. Provided the intractably large size of such input spaces, the intrinsic limitations of learning algorithms, and the ambiguity about the expected predictions for some of the inputs, not only there is no guarantee that DNN’s predictions are always correct, but rather developers must safely assume a low, though not negligible, error probability. A fail-safe Deep Learning based System (DLS) is one equipped to handle DNN faults by means of a supervisor, capable of recognizing predictions that should not be trusted and that should activate a healing procedure bringing the DLS to a safe state. In this paper, we propose an approach to use DNN uncertainty estimators to implement such a supervisor. We first discuss the advantages and disadvantages of existing approaches to measure uncertainty for DNNs and propose novel metrics for the empirical assessment of the supervisor that rely on such approaches. We then describe our publicly available tool UNCERTAINTY-WIZARD, which allows transparent estimation of uncertainty for regular tf.keras DNNs. Lastly, we discuss a large-scale study conducted on four different subjects to empirically validate the approach, reporting the lessons-learned as guidance for software engineers who intend to monitor uncertainty for fail-safe execution of DLS.

Tue 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

13:00 - 14:30
Testing and LearningResearch Papers at Porto de Galinhas
Chair(s): Andrea Stocco Università della Svizzera italiana (USI)
13:00
30m
Paper
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring
Research Papers
Michael Weiss Università della Svizzera Italiana (USI), Paolo Tonella USI Lugano, Switzerland
Pre-print
13:30
30m
Paper
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding
Research Papers
Maryam Vahdat Pour , Zhuo Li , Lei Ma University of Alberta, Hadi Hemmati University of Calgary
Pre-print
14:00
30m
Paper
Learning-Based Fuzzing of IoT Message Brokers
Research Papers
Bernhard Aichernig Graz University of Technology, Edi Muskardin , Andrea Pferscher Institute of Software Technology, Graz University of Technology
Pre-print Media Attached File Attached