中文
相关论文

相关论文: Cost-effective Simulation-based Test Selection in …

200 篇论文

Scenario-based testing for automated driving systems (ADS) must be able to simulate traffic scenarios that rely on interactions with other vehicles. Although many languages for high-level scenario modelling have been proposed, they lack the…

Silent Errors within hardware devices occur when an internal defect manifests in a part of the circuit which does not have check logic to detect the incorrect circuit operation. The results of such a defect can range from flipping a single…

硬件体系结构 · 计算机科学 2022-03-18 Harish Dattatraya Dixit , Laura Boyle , Gautham Vunnam , Sneha Pendharkar , Matt Beadon , Sriram Sankar

We present a novel method for testing the safety of self-driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs…

计算机视觉与模式识别 · 计算机科学 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

Software testing is one of the important ways to ensure the quality of software. It is found that testing cost more than 50% of overall project cost. Effective and efficient software testing utilizes the minimum resources of software.…

机器学习 · 计算机科学 2020-09-01 Ali Nawaz , Attique Ur Rehman , Muhammad Abbas

As the scale of training large language models (LLMs) increases, one emergent failure is silent data corruption (SDC), where hardware produces incorrect computations without explicit failure signals. In this work, we are the first to…

机器学习 · 计算机科学 2025-02-19 Jeffrey Ma , Hengzhi Pei , Leonard Lausen , George Karypis

Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We need well-founded criteria showing that simulation does…

软件工程 · 计算机科学 2023-01-24 Changwen Li , Joseph Sifakis , Qiang Wang , Rongjie Yan , Jian Zhang

Machine learning (ML) training algorithms often possess an inherent self-correcting behavior due to their iterative-convergent nature. Recent systems exploit this property to achieve adaptability and efficiency in unreliable computing…

机器学习 · 计算机科学 2018-10-18 Aurick Qiao , Bryon Aragam , Bingjing Zhang , Eric P. Xing

Driving simulators are increasingly used in research and development. However, simulators often cause motion sickness due to downscaled motion and unscaled veridical visuals. In this paper, a motion cueing algorithm is proposed that reduces…

机器人学 · 计算机科学 2025-10-29 Varun Kotian , Riender Happee , Barys Shyrokau

Automotive engineering makes extensive use of numerical simulation throughout the design process. The development of numerical models, their validation against experimental tests, and their updating during vehicle and engine projects…

计算工程、金融与科学 · 计算机科学 2026-03-17 Di Jiang , Sebastian Rodriguez , Herve Colin , Yves Tourbier , Francisco Chinesta

This research explores Cost-Sensitive Learning (CSL) in the fraud detection domain to decrease the fraud class's incorrect predictions and increase its accuracy. Notably, we concentrate on shill bidding fraud that is challenging to detect…

机器学习 · 计算机科学 2020-12-23 Sulaf Elshaar , Samira Sadaoui

The rapid advancement of large language models (LLMs) has significantly improved code completion tasks, yet the trade-off between accuracy and computational cost remains a critical challenge. While using larger models and incorporating…

软件工程 · 计算机科学 2025-02-17 Boyuan Chen , Mingzhi Zhu , Brendan Dolan-Gavitt , Muhammad Shafique , Siddharth Garg

Automotive software testing continues to rely largely upon expensive field tests to ensure quality because alternatives like simulation-based testing are relatively immature. As a step towards lowering reliance on field tests, we present…

软件工程 · 计算机科学 2021-07-16 Dhasarathy Parthasarathy , Anton Johansson

Ensuring safety in the sense of constraint satisfaction for learning-based control is a critical challenge, especially in the model-free case. While safety filters address this challenge in the model-based setting by modifying unsafe…

系统与控制 · 电气工程与系统科学 2026-01-15 Kanghui He , Shengling Shi , Ton van den Boom , Bart De Schutter

Instruction-level error injection analyses aim to find instructions where errors often lead to unacceptable outcomes like Silent Data Corruptions (SDCs). These analyses require significant time, which is especially problematic if developers…

软件工程 · 计算机科学 2024-03-27 Keyur Joshi , Rahul Singh , Tommaso Bassetto , Sarita Adve , Darko Marinov , Sasa Misailovic

Machine learning (ML) plays a pivotal role in detecting malicious software. Despite the high F1-scores reported in numerous studies reaching upwards of 0.99, the issue is not completely solved. Malware detectors often experience performance…

Increasing parallelism and transistor density, along with increasingly tighter energy and peak power constraints, may force exposure of occasionally incorrect computation or storage to application codes. Silent data corruption (SDC) will…

分布式、并行与集群计算 · 计算机科学 2016-02-26 James Elliott , Mark Hoemmen , Frank Mueller

Autonomous vehicles are complex systems that are challenging to test and debug. A requirements-driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing…

机器人学 · 计算机科学 2019-08-06 Cumhur Erkan Tuncali , Georgios Fainekos , Danil Prokhorov , Hisahiro Ito , James Kapinski

This paper presents a method for testing the decision making systems of autonomous vehicles. Our approach involves perturbing stochastic elements in the vehicle's environment until the vehicle is involved in a collision. Instead of applying…

机器人学 · 计算机科学 2019-02-07 Mark Koren , Saud Alsaif , Ritchie Lee , Mykel J. Kochenderfer

Context: There is considerable diversity in the range and design of computational experiments to assess classifiers for software defect prediction. This is particularly so, regarding the choice of classifier performance metrics.…

软件工程 · 计算机科学 2020-03-04 Jingxiu Yao , Martin Shepperd

An open question in autonomous driving is how best to use simulation to validate the safety of autonomous vehicles. Existing techniques rely on simulated rollouts, which can be inefficient for finding rare failure events, while other…

机器人学 · 计算机科学 2020-06-29 Anthony Corso , Ritchie Lee , Mykel J. Kochenderfer