English
Related papers

Related papers: Do you dare to try Test-Driven Forensics? Increasi…

200 papers

With the growth of sensing, control and robotic technologies, autonomous underwater vehicles (AUVs) have become useful assistants to human divers for performing various underwater operations. In the current practice, the divers are required…

Computer Vision and Pattern Recognition · Computer Science 2020-11-17 Jing Yang , James P. Wilson , Shalabh Gupta

Automated Driving is revolutionizing many of the traditional ways of operation in the automotive industry. The impact on safety engineering of automotive functions is arguably one of the most important changes. There has been a need to…

Robotics · Computer Science 2019-12-03 Naveen Mohan , Martin Törngren

Clinical diagnosis is a highly specialized discipline requiring both domain expertise and strict adherence to rigorous guidelines. While current AI-driven medical research predominantly focuses on knowledge graphs or natural text…

Machine Learning · Computer Science 2025-12-12 Haolin Li , Tianjie Dai , Zhe Chen , Siyuan Du , Jiangchao Yao , Ya Zhang , Yanfeng Wang

Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is…

Software Engineering · Computer Science 2021-12-03 Ziyuan Zhong , Yun Tang , Yuan Zhou , Vania de Oliveira Neves , Yang Liu , Baishakhi Ray

Today, the volume of evidence collected per case is growing exponentially, to address this problem forensics investigators are looking for investigation process with tools built on new technologies like big data, cloud services, and Deep…

Cryptography and Security · Computer Science 2018-08-06 Aditya K , Slawomir Grzonkowski , Nhien An Lekhac

Tool-using agent systems powered by large language models (LLMs) are increasingly deployed across web, app, operating-system, and transactional environments. Yet existing safety benchmarks still emphasize explicit risks, potentially…

Artificial Intelligence · Computer Science 2026-05-06 Zuoyu Zhang , Yancheng Zhu

Data in the real world often has an evolving distribution. Thus, machine learning models trained on such data get outdated over time. This phenomenon is called model drift. Knowledge of this drift serves two purposes: (i) Retain an accurate…

Machine Learning · Computer Science 2025-03-11 Pranoy Panda , Kancheti Sai Srinivas , Vineeth N Balasubramanian , Gaurav Sinha

Autonomous scientific discovery is entering a more dangerous regime: once the evaluator is frozen, a sufficiently strong search process can learn to win the exam without learning the mechanism the task was meant to reveal. This is the idea…

Computer Vision and Pattern Recognition · Computer Science 2026-04-01 Peiran Li , Fangzhou Lin , Shuo Xing , Jiashuo Sun , Dylan Zhang , Siyuan Yang , Chaoqun Ni , Zhengzhong Tu

Machine learning and deep learning-based decision making has become part of today's software. The goal of this work is to ensure that machine learning and deep learning-based systems are as trusted as traditional software. Traditional…

With ongoing development of autonomous driving systems and increasing desire for deployment, researchers continue to seek reliable approaches for ADS systems. The virtual simulation test (VST) has become a prominent approach for testing…

Artificial Intelligence · Computer Science 2023-08-30 Jiqian Dong , Sikai Chen , Samuel Labi

Simulation systems have become an essential component in the development and validation of autonomous driving technologies. The prevailing state-of-the-art approach for simulation is to use game engines or high-fidelity computer graphics…

Computer Vision and Pattern Recognition · Computer Science 2020-10-30 Wei Li , Chengwei Pan , Rong Zhang , Jiaping Ren , Yuexin Ma , Jin Fang , Feilong Yan , Qichuan Geng , Xinyu Huang , Huajun Gong , Weiwei Xu , Guoping Wang , Dinesh Manocha , Ruigang Yang

AI coding agents can resolve real-world software issues, yet they frequently introduce regressions -- breaking tests that previously passed. Current benchmarks focus almost exclusively on resolution rate, leaving regression behavior…

Software Engineering · Computer Science 2026-03-20 Pepe Alonso , Sergio Yovine , Victor A. Braberman

The validation of highly automated, perception-based driving systems must ensure that they function correctly under the full range of real-world conditions. Scenario-based testing is a prominent approach to addressing this challenge, as it…

Robotics · Computer Science 2025-12-15 Steffen Schäfer , Martin Cichon

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

Multi-year digital forensic backlogs have become commonplace in law enforcement agencies throughout the globe. Digital forensic investigators are overloaded with the volume of cases requiring their expertise compounded by the volume of data…

Cryptography and Security · Computer Science 2020-12-04 Xiaoyu Du , Chris Hargreaves , John Sheppard , Felix Anda , Asanka Sayakkara , Nhien-An Le-Khac , Mark Scanlon

Scientific research is being reshaped by AI systems that move beyond isolated assistance toward longer-horizon workflows spanning literature grounding, hypothesis generation, experimentation, validation, reporting, and revision. This shift…

In the prevailing convergence of traditional infrastructure-based deployment (i.e., Telco and industry operational networks) towards evolving deployments enabled by 5G and virtualization, there is a keen interest in elaborating effective…

Cryptography and Security · Computer Science 2023-08-21 Li Yang , Abdallah Moubayed , Abdallah Shami , Amine Boukhtouta , Parisa Heidari , Stere Preda , Richard Brunner , Daniel Migault , Adel Larabi

The intersection of artificial intelligence (AI) and digital forensics (DF) is becoming increasingly complex, ubiquitous, and pervasive, with overlapping techniques and technologies being adopted in all types of scientific and technical…

Artificial Intelligence · Computer Science 2025-12-16 Paola Di Maio

The ChatGPT Windows application offers better user interaction in the Windows operating system (OS) by enhancing productivity and streamlining the workflow of ChatGPT's utilization. However, there are potential misuses associated with this…

Cryptography and Security · Computer Science 2025-06-02 Malithi Wanniarachchi Kankanamge , Nick McKenna , Santiago Carmona , Syed Mhamudul Hasan , Abdur R. Shahid , Ahmed Imteaj

Digital media (e.g., photographs, video) can be easily created, edited, and shared. Tools for editing digital media are capable of doing so while also maintaining a high degree of photo-realism. While many types of edits to digital media…

Computer Vision and Pattern Recognition · Computer Science 2022-10-27 Brian DeCann , Kirill Trapeznikov