research
∙
11/23/2022
Program Repair
Automated program repair is an emerging technology which consists of a s...
share
research
∙
01/20/2022
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Context: Identifying potential vulnerable code is important to improve t...
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
∙
06/07/2021
QFuzz: Quantitative Fuzzing for Side Channels
Side channels pose a significant threat to the confidentiality of softwa...
research
∙
03/23/2021
NNrepair: Constraint-based Repair of Neural Network Classifiers
We present NNrepair, a constraint-based technique for repairing neural n...
research
∙
02/27/2021
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
This paper presents NEUROSPF, a tool for the symbolic analysis of neural...
research
∙
08/03/2020
Evolutionary Grammar-Based Fuzzing
A fuzzer provides randomly generated inputs to a targeted software to ex...
research
∙
11/16/2018
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Side-channel attacks allow an adversary to uncover secret program data b...
research
∙
06/08/2018
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Hybrid testing approaches that involve fuzz testing and symbolic executi...
research
∙
02/05/2018