English
Related papers

Related papers: Evaluating data-flow coverage in spectrum-based fa…

200 papers

While conventional power system protection isolates faulty components only after a fault has occurred, fault prediction approaches try to detect faults before they can cause significant damage. Although initial studies have demonstrated…

Systems and Control · Electrical Eng. & Systems 2026-03-27 Georg Kordowich , Julian Oelhaf , Siming Bayer , Andreas Maier , Matthias Kereit , Johann Jaeger

High-performance and safety-critical system architects must accurately evaluate the application-level silent data corruption (SDC) rates of processors to soft errors. Such an evaluation requires error propagation all the way from particle…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-05 Siva Kumar Sastry Hari , Paolo Rech , Timothy Tsai , Mark Stephenson , Arslan Zulfiqar , Michael Sullivan , Philip Shirvani , Paul Racunas , Joel Emer , Stephen W. Keckler

Due to the impressive code comprehension ability of Large Language Models (LLMs), a few studies have proposed to leverage LLMs to locate bugs, i.e., LLM-based FL, and demonstrated promising performance. However, first, these methods are…

Software Engineering · Computer Science 2025-02-19 Chuyang Xu , Zhongxin Liu , Xiaoxue Ren , Gehao Zhang , Ming Liang , David Lo

Networking for big data has to be intelligent because it will adjust data transmission requirements adaptively during data splitting and merging. Software-defined networking (SDN) provides a workable and practical paradigm for designing…

Networking and Internet Architecture · Computer Science 2020-04-28 Yiheng Su , Ting Peng , Xiaoxun Zhong , Lianming Zhang

Control-flow leakage (CFL) attacks enable an attacker to expose control-flow decisions of a victim program via side-channel observations. Linearization (i.e., elimination) of secret-dependent control flow is the main countermeasure against…

Cryptography and Security · Computer Science 2025-02-12 Hans Winderix , Marton Bognar , Lesly-Ann Daniel , Frank Piessens

We introduce **SWE-Flow**, a novel data synthesis framework grounded in Test-Driven Development (TDD). Unlike existing software engineering data that rely on human-submitted issues, **SWE-Flow** automatically infers incremental development…

Computation and Language · Computer Science 2025-06-12 Lei Zhang , Jiaxi Yang , Min Yang , Jian Yang , Mouxiang Chen , Jiajun Zhang , Zeyu Cui , Binyuan Hui , Junyang Lin

The arrival of recent cybersecurity standards has raised the bar for security assessments in organizations, but existing techniques don't always scale well. Threat analysis and risk assessment are used to identify security threats for new…

Software Engineering · Computer Science 2024-08-16 Winnie Bahati Mbaka , Katja Tuma

CFI is a computer security technique that detects runtime attacks by monitoring a program's branching behavior. This work presents a detailed analysis of the security policies enforced by 21 recent hardware-based CFI architectures. The goal…

Cryptography and Security · Computer Science 2017-08-01 Ruan de Clercq , Ingrid Verbauwhede

Deep Learning (DL) applications are being used to solve problems in critical domains (e.g., autonomous driving or medical diagnosis systems). Thus, developers need to debug their systems to ensure that the expected behavior is delivered.…

Software Engineering · Computer Science 2023-07-19 Mohammad Wardat , Breno Dantas Cruz , Wei Le , Hridesh Rajan

Security research is fundamentally a problem of resource constraint and consequent prioritization. There is simply too much attack surface and too little time and energy to spend analyzing it all. The most effective security researchers are…

Cryptography and Security · Computer Science 2025-12-09 Caleb Gross

Automated Program Repair (APR) techniques typically exploit spectrum-based fault localization (SBFL) to identify the program locations that should be patched, making the effectiveness of APR techniques dependent on the effectiveness of…

Software Engineering · Computer Science 2022-01-04 Davide Ginelli , Oliviero Riganelli , Daniela Micucci , Leonardo Mariani

GAMMA_FLOW is an open-source Python package for real-time analysis of spectral data. It supports classification, denoising, decomposition, and outlier detection of both single- and multi-component spectra. Instead of relying on large,…

Machine Learning · Computer Science 2025-11-13 Viola Rädle , Tilman Hartwig , Benjamin Oesen , Emily Alice Kröger , Julius Vogt , Eike Gericke , Martin Baron

Despite the proven applicability of the statistical methods in automatic fault localization, these approaches are biased by data collected from different executions of the program. This biasness could result in unstable statistical models…

Software Engineering · Computer Science 2017-12-12 Farid Feyzi , Saeed Parsa

Context: During the development process of a software program, regression testing is used to ensure that the correct behavior of the software is retained after updates to the source code. This regression testing becomes costly over time as…

Software Engineering · Computer Science 2020-02-18 Mostafa Mahdieh , Seyed-Hassan Mirian-Hosseinabadi , Khashayar Etemadi , Ali Nosrati , Sajad Jalali

Modern scientific workflows are data-driven and are often executed on distributed, heterogeneous, high-performance computing infrastructures. Anomalies and failures in the workflow execution cause loss of scientific productivity and…

Software Engineering · Computer Science 2021-03-24 Huy Tu , George Papadimitriou , Mariam Kiran , Cong Wang , Anirban Mandal , Ewa Deelman , Tim Menzies

Verifying integrity of software execution in low-end micro-controller units (MCUs) is a well-known open problem. The central challenge is how to securely detect software exploits with minimal overhead, since these MCUs are designed for low…

Cryptography and Security · Computer Science 2021-03-25 Ivan De Oliveira Nunes , Sashidhar Jakkamsetti , Gene Tsudik

Context: Research at the intersection of cybersecurity, Machine Learning (ML), and Software Engineering (SE) has recently taken significant steps in proposing countermeasures for detecting sophisticated data exfiltration attacks. It is…

Cryptography and Security · Computer Science 2021-03-23 Bushra Sabir , Faheem Ullah , M. Ali Babar , Raj Gaire

Cybersecurity is essential, and attacks are rapidly growing and getting more challenging to detect. The traditional Firewall and Intrusion Detection system, even though it is widely used and recommended but it fails to detect new attacks,…

Cryptography and Security · Computer Science 2021-09-17 Mustafa Sakhai , Maciej Wielgosz

Deep learning (DL) techniques are on the rise in the software engineering research community. More and more approaches have been developed on top of DL models, also due to the unprecedented amount of software-related data that can be used…

Software Engineering · Computer Science 2021-03-23 Alejandro Mazuera-Rozo , Anamaria Mojica-Hanke , Mario Linares-Vásquez , Gabriele Bavota

Flaky tests are defined as tests that manifest non-deterministic behaviour by passing and failing intermittently for the same version of the code. These tests cripple continuous integration with false alerts that waste developers' time and…

Software Engineering · Computer Science 2022-07-22 Sarra Habchi , Guillaume Haben , Jeongju Sohn , Adriano Franci , Mike Papadakis , Maxime Cordy , Yves Le Traon