Testing machine learning based systems: a systematic mapping

V Riccio, G Jahangirova, A Stocco… - Empirical Software …, 2020 - Springer
Abstract Context: A Machine Learning based System (MLS) is a software system including
one or more components that learn how to perform a task from a given data set. The …

Artificial intelligence for safety-critical systems in industrial and transportation domains: A survey

J Perez-Cerrolaza, J Abella, M Borg, C Donzella… - ACM Computing …, 2024 - dl.acm.org
Artificial Intelligence (AI) can enable the development of next-generation autonomous safety-
critical systems in which Machine Learning (ML) algorithms learn optimized and safe …

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 …

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 …

[PDF][PDF] A taxonomy of software engineering challenges for machine learning systems: An empirical investigation

LE Lwakatare, A Raj, J Bosch, HH Olsson… - Agile Processes in …, 2019 - library.oapen.org
Artificial intelligence enabled systems have been an inevitable part of everyday life.
However, efficient software engineering principles and processes need to be considered …

The challenges of leveraging threat intelligence to stop data breaches

A Ibrahim, D Thiruvady, JG Schneider… - Frontiers in Computer …, 2020 - frontiersin.org
Despite the significant increase in cybersecurity solutions investment, organizations are still
plagued by security breaches, especially data breaches. As more organizations experience …

Software engineering challenges for machine learning applications: A literature review

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

[HTML][HTML] Testing and verification of neural-network-based safety-critical control software: A systematic literature review

J Zhang, J Li - Information and Software Technology, 2020 - Elsevier
Abstract Context: Neural Network (NN) algorithms have been successfully adopted in a
number of Safety-Critical Cyber-Physical Systems (SCCPSs). Testing and Verification (T&V) …

Hardware phi-1.5 b: A large language model encodes hardware domain specific knowledge

W Fu, S Li, Y Zhao, H Ma, R Dutta… - 2024 29th Asia and …, 2024 - ieeexplore.ieee.org
In the rapidly evolving semiconductor industry, where research, design, verification, and
manufacturing are intricately linked, the potential of Large Language Models to revolutionize …

Assuring Safe and Efficient Operation of UAV Using Explainable Machine Learning

A Alharbi, I Petrunin, D Panagiotakopoulos - Drones, 2023 - mdpi.com
The accurate estimation of airspace capacity in unmanned traffic management (UTM)
operations is critical for a safe, efficient, and equitable allocation of airspace system …