Adversarial examples on object recognition: A comprehensive survey

A Serban, E Poll, J Visser - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
Deep neural networks are at the forefront of machine learning research. However, despite
achieving impressive performance on complex tasks, they can be very sensitive: Small …

Software engineering challenges for machine learning applications: A literature review

F Kumeno - Intelligent Decision Technologies, 2019 - journals.sagepub.com
Machine learning techniques, especially deep learning, have achieved remarkable
breakthroughs over the past decade. At present, machine learning applications are …

Machine learning testing: Survey, landscapes and horizons

JM Zhang, M Harman, L Ma… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
This paper provides a comprehensive survey of techniques for testing machine learning
systems; Machine Learning Testing (ML testing) research. It covers 144 papers on testing …

Testing deep neural networks

Y Sun, X Huang, D Kroening, J Sharp, M Hill… - arxiv preprint arxiv …, 2018 - arxiv.org
Deep neural networks (DNNs) have a wide range of applications, and software employing
them must be thoroughly tested, especially in safety-critical domains. However, traditional …

Importance-driven deep learning system testing

S Gerasimou, HF Eniser, A Sen, A Cakan - Proceedings of the ACM …, 2020 - dl.acm.org
Deep Learning (DL) systems are key enablers for engineering intelligent applications due to
their ability to solve complex tasks such as image recognition and machine translation …

DeepConcolic: Testing and debugging deep neural networks

Y Sun, X Huang, D Kroening, J Sharp… - 2019 IEEE/ACM 41st …, 2019 - ieeexplore.ieee.org
Deep neural networks (DNNs) have been deployed in a wide range of applications. We
introduce a DNN testing and debugging tool, called DeepConcolic, which is able to detect …

A survey on methods for the safety assurance of machine learning based systems

G Schwalbe, M Schels - 10th European Congress on Embedded Real …, 2020 - hal.science
Methods for safety assurance suggested by the ISO 26262 automotive functional safety
standard are not sufficient for applications based on machine learning (ML). We provide a …

Detecting adversarial examples by input transformations, defense perturbations, and voting

F Nesti, A Biondi, G Buttazzo - IEEE Transactions on neural …, 2021 - ieeexplore.ieee.org
Over the past few years, convolutional neural networks (CNNs) have proved to reach
superhuman performance in visual recognition tasks. However, CNNs can easily be fooled …

A safe, secure, and predictable software architecture for deep learning in safety-critical systems

A Biondi, F Nesti, G Cicero, D Casini… - IEEE Embedded …, 2019 - ieeexplore.ieee.org
In the last decade, deep learning techniques reached human-level performance in several
specific tasks as image recognition, object detection, and adaptive control. For this reason …

Automatic unit test generation for machine learning libraries: How far are we?

S Wang, N Shrestha, AK Subburaman… - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
Automatic unit test generation that explores the input space and produces effective test
cases for given programs have been studied for decades. Many unit test generation tools …