中文
相关论文

相关论文: How to Certify Machine Learning Based Safety-criti…

200 篇论文

Machine Learning (ML) is now used in a range of systems with results that are reported to exceed, under certain conditions, human performance. Many of these systems, in domains such as healthcare , automotive and manufacturing, exhibit high…

机器学习 · 计算机科学 2021-02-03 Richard Hawkins , Colin Paterson , Chiara Picardi , Yan Jia , Radu Calinescu , Ibrahim Habli

The development and deployment of machine learning (ML) systems can be executed easily with modern tools, but the process is typically rushed and means-to-an-end. The lack of diligence can lead to technical debt, scope creep and misaligned…

The rapid advancement of software development practices has introduced challenges in ensuring quality and efficiency across the software engineering (SE) lifecycle. As SE systems grow in complexity, traditional approaches often fail to…

软件工程 · 计算机科学 2025-08-04 Samah Kansab

Objectives: An SLR is presented focusing on text mining based automation of SLR creation. The present review identifies the objectives of the automation studies and the aspects of those steps that were automated. In so doing, the various ML…

信息检索 · 计算机科学 2023-08-01 Girish Sundaram , Daniel Berleant

The idea of applying machine learning(ML) to solve problems in security domains is almost 3 decades old. As information and communications grow more ubiquitous and more data become available, many security risks arise as well as appetite to…

密码学与安全 · 计算机科学 2016-11-11 Heju Jiang , Jasvir Nagra , Parvez Ahammad

Intensive algorithmic efforts have been made to enable the rapid improvements of certificated robustness for complex ML models recently. However, current robustness certification methods are only able to certify under a limited perturbation…

机器学习 · 计算机科学 2023-04-13 Zhuolin Yang , Zhikuan Zhao , Boxin Wang , Jiawei Zhang , Linyi Li , Hengzhi Pei , Bojan Karlas , Ji Liu , Heng Guo , Ce Zhang , Bo Li

Fatal accidents are a major issue hindering the wide acceptance of safety-critical systems using machine-learning and deep-learning models, such as automated-driving vehicles. Quality assurance frameworks are required for such machine…

计算机与社会 · 计算机科学 2018-12-10 Hiroshi Kuwajima , Hirotoshi Yasuoka , Toshihiro Nakae

As cyber attacks continue to increase in frequency and sophistication, detecting malware has become a critical task for maintaining the security of computer systems. Traditional signature-based methods of malware detection have limitations…

密码学与安全 · 计算机科学 2024-03-05 Khatoon Mohammed

The automotive domain is shifting to software-centric development to meet regulation, market pressure, and feature velocity. This shift increases embedded systems' complexity and strains testing capacity. Despite relevant standards, a…

软件工程 · 计算机科学 2026-01-09 Denesa Zyberaj , Pascal Hirmer , Marco Aiello , Stefan Wagner

Context: Machine learning (ML) is nowadays so pervasive and diffused that virtually no application can avoid its use. Nonetheless, its enormous potential is often tempered by the need to manage non-functional requirements and navigate…

软件工程 · 计算机科学 2024-04-11 Vincenzo De Martino , Fabio Palomba

Context: Machine learning (ML)-enabled systems are being increasingly adopted by companies aiming to enhance their products and operational processes. Objective: This paper aims to deliver a comprehensive overview of the current status quo…

Machine learning (ML) is increasingly being deployed in critical systems. The data dependence of ML makes securing data used to train and test ML-enabled systems of utmost importance. While the field of cybersecurity has well-established…

密码学与安全 · 计算机科学 2023-12-05 Padmaksha Roy , Jaganmohan Chandrasekaran , Erin Lanus , Laura Freeman , Jeremy Werner

Requirements engineering (RE) activities for machine learning (ML) are not well-established and researched in the literature. Many issues and challenges exist when specifying, designing, and developing ML-enabled systems. Adding more focus…

软件工程 · 计算机科学 2022-06-27 Hugo Villamizar , Marcos Kalinowski , Helio lopes

Context: Software testing plays an essential role in product quality improvement. For this reason, several software testing models have been developed to support organizations. However, adoption of testing process models inside…

软件工程 · 计算机科学 2019-01-08 Katarína Hrabovská , Bruno Rossi , Tomáš Pitner

Scientific machine learning (SciML) models are transforming many scientific disciplines. However, the development of good modeling practices to increase the trustworthiness of SciML has lagged behind its application, limiting its potential…

机器学习 · 计算机科学 2025-04-29 John D. Jakeman , Lorena A. Barba , Joaquim R. R. A. Martins , Thomas O'Leary-Roseberry

Despite the extent of recent advances in Machine Learning (ML) and Neural Networks, providing formal guarantees on the behavior of these systems is still an open problem, and a crucial requirement for their adoption in regulated or…

机器学习 · 计算机科学 2024-10-01 Matteo Francobaldi , Michele Lombardi

Background: As Machine Learning (ML) advances rapidly in many fields, it is being adopted by academics and businesses alike. However, ML has a number of different challenges in terms of maintenance not found in traditional software…

人工智能 · 计算机科学 2024-08-20 Karthik Shivashankar , Antonio Martini

Advances in machine learning (ML) in recent years have enabled a dizzying array of applications such as data analytics, autonomous systems, and security diagnostics. ML is now pervasive---new systems and models are being deployed in every…

密码学与安全 · 计算机科学 2016-11-14 Nicolas Papernot , Patrick McDaniel , Arunesh Sinha , Michael Wellman

Machine learning (ML) techniques increase the effectiveness of software engineering (SE) lifecycle activities. We systematically collected, quality-assessed, summarized, and categorized 83 reviews in ML for SE published between 2009-2022,…

软件工程 · 计算机科学 2023-12-05 Zoe Kotti , Rafaila Galanopoulou , Diomidis Spinellis

Machine Learning (ML) has been widely applied to cybersecurity and is considered state-of-the-art for solving many of the open issues in that field. However, it is very difficult to evaluate how good the produced solutions are, since the…