67 citations · 98 across the 11 of their papers we have counts for
15 papers
Agentic Planning for Symbolic Execution
Daniel Koh Ji Yang, Yannic Noller, Corina S. Pasareanu +1
Symbolic execution seeks to explore feasible program paths, yet a practical run may exhaust its resources while much program behaviour remains unreached. We investigate a complemen…
Kill it with FIRE: On Leveraging Latent Space Directions for Runtime Backdoor Mitigation in Deep Neural Networks
Enrico Ahlers, Daniel Passon, Yannic Noller +1
Machine learning models are increasingly present in our everyday lives; as a result, they become targets of adversarial attackers seeking to manipulate the systems we interact with…
Risk Estimation in Differential Fuzzing via Extreme Value Theory
Rafael Baez, Alejandro Olivas, Nathan K. Diamond +3
Differential testing is a highly effective technique for automatically detecting software bugs and vulnerabilities when the specifications involve an analysis over multiple executi…
Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Daniel Koh, Yannic Noller, Corina S. Pasareanu +2
Large language models (LLMs) have demonstrated strong performance on coding tasks such as generation, completion and repair, but their ability to handle complex symbolic reasoning…
Exploring Generalizable Automated Program Repair with Large Language Models
Viola Campos, Ridwan Shariffdeen, Adrian Ulges +1
Automated Program Repair (APR) proposes bug fixes to aid developers in maintaining software. The state of the art in this domain focuses on LLMs, leveraging their strong capabiliti…
Codexity: Secure AI-assisted Code Generation
Sung Yong Kim, Zhiyu Fan, Yannic Noller +1
Despite the impressive performance of Large Language Models (LLMs) in software development activities, recent studies show the concern of introducing vulnerabilities into software…
Software Engineering Educational Experience in Building an Intelligent Tutoring System
Zhiyu Fan, Yannic Noller, Ashish Dandekar +1
The growing number of students enrolling in Computer Science (CS) programmes is pushing CS educators to their limits. This poses significant challenges to computing education, part…
Program Repair
Xiang Gao, Yannic Noller, Abhik Roychoudhury
Automated program repair is an emerging technology which consists of a suite of techniques to automatically fix bugs or vulnerabilities in programs. In this paper, we present a com…
QFuzz: Quantitative Fuzzing for Side Channels
Yannic Noller, Saeid Tizpaz-Niari
Side channels pose a significant threat to the confidentiality of software systems. Such vulnerabilities are challenging to detect and evaluate because they arise from non-function…
NNrepair: Constraint-based Repair of Neural Network Classifiers
Muhammad Usman, Divya Gopinath, Youcheng Sun +2
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the la…
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Muhammad Usman, Yannic Noller, Corina Pasareanu +2
This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and…
Evolutionary Grammar-Based Fuzzing
Martin Eberlein, Yannic Noller, Thomas Vogel +1
A fuzzer provides randomly generated inputs to a targeted software to expose erroneous behavior. To efficiently detect defects, generated inputs should conform to the structure of…
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu
Side-channel attacks allow an adversary to uncover secret program data by observing the behavior of a program with respect to a resource, such as execution time, consumed memory or…
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Yannic Noller, Rody Kersten, Corina S. Păsăreanu
Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilitie…
Shadow Symbolic Execution with Java PathFinder
Yannic Noller, Hoang Lam Nguyen, Minxing Tang +1
Regression testing ensures that a software system when it evolves still performs correctly and that the changes introduce no unintended side-effects. However, the creation of regre…