The Linux kernel's growth introduces daily bugs that are often detected and eliminated using
code analyzers. However, creating accurate Linux patches remains challenging and poses …

Syzbot continuously fuzzes the full Linux kernel to discover latent bugs. Yet, around 75% of
recent kernel bugs are caused by recent patches, dubbed regression bugs. Regression …

To date, the users of test-driven program repair tools suffer from the overfitting problem; a
generated patch may pass all available tests without being correct. In the existing work …

There are many various data-oriented attacks on robotic vehicles (RVs) that change the
inputs of an RV control program. While much research has been dedicated to detecting the …

Physical sensor attacks against robotic vehicles (RV) have become a serious concern due to
their prevalence and potential physical threat. However, RV software developers often do …

It is essential to detect functional differences in various software engineering tasks, such as
automated program repair, mutation testing, and code refactoring. The problem of detecting …

Despite the fact that Rust is designed to be a secure programming language for system
programming, it is still vulnerable and exploitable due to its inclusion of an unsafe sub …

The world is increasingly dependent on cyber-physical systems (CPSs), eg, robotic vehicles
(RVs) and industrial control systems (ICSs). CPSs operate autonomously by processing data …

In the contemporary digital era, Advanced Persistent Threat (APT) attacks are evolving,
becoming increasingly sophisticated, and now perilously targeting critical cyber-physical …

2 TRACE-DRIVEN CYBER ATTACK INVESTIGATIONS............... 2.1 Introduction.......................
............. 2.2 Motivation and Definitions............................. 2.2. 1 Definitions …