A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability

X Huang, D Kroening, W Ruan, J Sharp, Y Sun… - Computer Science …, 2020 - Elsevier
In the past few years, significant progress has been made on deep neural networks (DNNs)
in achieving human-level performance on several long-standing tasks. With the broader …

A software engineering perspective on engineering machine learning systems: State of the art and challenges

G Giray - Journal of Systems and Software, 2021 - Elsevier
Context: Advancements in machine learning (ML) lead to a shift from the traditional view of
software development, where algorithms are hard-coded by humans, to ML systems …

Software engineering for AI-based systems: a survey

S Martínez-Fernández, J Bogner, X Franch… - ACM Transactions on …, 2022 - dl.acm.org
AI-based systems are software systems with functionalities enabled by at least one AI
component (eg, for image-, speech-recognition, and autonomous driving). AI-based systems …

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 …

The role of explainability in assuring safety of machine learning in healthcare

Y Jia, J McDermid, T Lawton… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Established approaches to assuring safety-critical systems and software are difficult to apply
to systems employing ML where there is no clear, pre-defined specification against which to …

Adaptive test selection for deep neural networks

X Gao, Y Feng, Y Yin, Z Liu, Z Chen, B Xu - Proceedings of the 44th …, 2022 - dl.acm.org
Deep neural networks (DNN) have achieved tremendous development in the past decade.
While many DNN-driven software applications have been deployed to solve various tasks …

Sustainable security for the internet of things using artificial intelligence architectures

C Iwendi, SU Rehman, AR Javed, S Khan… - ACM Transactions on …, 2021 - dl.acm.org
In this digital age, human dependency on technology in various fields has been increasing
tremendously. Torrential amounts of different electronic products are being manufactured …

How to certify machine learning based safety-critical systems? A systematic literature review

F Tambon, G Laberge, L An, A Nikanjam… - Automated Software …, 2022 - Springer
Abstract Context Machine Learning (ML) has been at the heart of many innovations over the
past years. However, including it in so-called “safety-critical” systems such as automotive or …

Metamorphic object insertion for testing object detection systems

S Wang, Z Su - Proceedings of the 35th IEEE/ACM International …, 2020 - dl.acm.org
Recent advances in deep neural networks (DNNs) have led to object detectors (ODs) that
can rapidly process pictures or videos, and recognize the objects that they contain. Despite …

Effective white-box testing of deep neural networks with adaptive neuron-selection strategy

S Lee, S Cha, D Lee, H Oh - Proceedings of the 29th ACM SIGSOFT …, 2020 - dl.acm.org
We present Adapt, a new white-box testing technique for deep neural networks. As deep
neural networks are increasingly used in safety-first applications, testing their behavior …