research
∙
08/01/2023
Program Repair by Fuzzing over Patch and Input Space
Fuzz testing (fuzzing) is a well-known method for exposing bugs/vulnerab...
share
research
∙
08/01/2023
Patch Space Exploration using Static Analysis Feedback
Automated Program Repair (APR) techniques typically rely on a given test...
research
∙
05/04/2023
Distributed System Fuzzing
Grey-box fuzzing is the lightweight approach of choice for finding bugs ...
research
∙
12/19/2022
Explainable Fuzzer Evaluation
While the aim of fuzzer evaluation is to establish fuzzer performance in...
research
∙
11/23/2022
Program Repair
Automated program repair is an emerging technology which consists of a s...
research
∙
05/21/2022
Improving automatically generated code from Codex via Automated Program Repair
Large language models, e.g., Codex and AlphaCode, have shown capability ...
research
∙
04/06/2022
Fast Fuzzing for Memory Errors
Greybox fuzzing is a proven effective testing method for the detection o...
research
∙
04/06/2022
Stateful Greybox Fuzzing
Many protocol implementations are reactive systems, where the protocol p...
research
∙
09/06/2021
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing
Software model checking is a verification technique which is widely used...
research
∙
08/30/2021
How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools
Automated program repair is an emerging technology that seeks to automat...
research
∙
08/05/2021
HIPPODROME: Data Race Repair using Static Analysis Summaries
Implementing bug-free concurrent programs is a challenging task in moder...
research
∙
06/30/2021
Verifix: Verified Repair of Programming Assignments
Automated feedback generation for introductory programming assignments i...
research
∙
11/22/2020
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Data-driven decision making is gaining prominence with the popularity of...
research
∙
08/11/2020
Localizing Patch Points From One Exploit
Automatic patch generation can significantly reduce the window of exposu...
research
∙
06/17/2020
Synthesizing Tasks for Block-based Programming
Block-based visual programming environments play a critical role in intr...
research
∙
05/21/2020
Concurrency-related Flaky Test Detection in Android apps
Validation of Android apps via testing is difficult owing to the presenc...
research
∙
12/12/2019
Smart Contract Repair
Smart contracts are automated or self-enforcing contracts that can be us...
research
∙
09/02/2019
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Spectre attacks disclosed in early 2018 expose data leakage scenarios vi...
research
∙
11/23/2018
Smart Greybox Fuzzing
Coverage-based greybox fuzzing (CGF) is one of the most successful metho...
research
∙
07/16/2018
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis
The Spectre vulnerability in modern processors has been reported earlier...
research
∙
07/16/2018
oo7: Low-overhead Defense against Spectre Attacks
The Spectre vulnerability in modern processors has been reported earlier...
research
∙
07/12/2018
Symbolic Verification of Cache Side-channel Freedom
Cache timing attacks allow third-party observers to retrieve sensitive i...
research
∙
07/02/2018
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Symbolic execution is a powerful technique for program analysis. However...
research
∙
07/02/2018