research
∙
09/14/2023
WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly
WebAssembly has is renowned for its efficiency and security in browser e...
share
research
∙
04/24/2023
ITER: Iterative Neural Repair for Multi-Location Patches
Automated program repair (APR) has achieved promising results, especiall...
research
∙
04/05/2023
MUFIN: Improving Neural Repair Models with Back-Translation
Automated program repair is the task of automatically repairing software...
research
∙
03/25/2023
Highly Available Blockchain Nodes With N-Version Design
As all software, blockchain nodes are exposed to faults in their underly...
research
∙
03/20/2023
Challenges of Producing Software Bill Of Materials for Java
Software bills of materials (SBOM) promise to become the backbone of sof...
research
∙
03/13/2023
SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses
Recent research has shown the great potential of automatic feedback in e...
research
∙
02/09/2023
RICK: Generating Mocks from Production Data
Test doubles, such as mocks and stubs, are nifty fixtures in unit tests....
research
∙
12/20/2022
Augmenting Diffs With Runtime Information
Source code diffs are used on a daily basis as part of code review, insp...
research
∙
12/16/2022
WebAssembly Diversification for Malware Evasion
WebAssembly is a binary format that has become an essential component of...
research
∙
08/02/2022
Mimicking Production Behavior with Generated Mocks
Mocking in the context of automated software tests allows testing progra...
research
∙
04/14/2022
Exhaustive Survey of Rickrolling in Academic Literature
Rickrolling is an Internet cultural phenomenon born in the mid 2000s. Or...
research
∙
02/14/2022
The Multi-Billion Dollar Software Supply Chain of Ethereum
The rise of blockchain technologies has triggered tremendous research in...
research
∙
02/10/2022
Spork: Structured Merge for Java with Formatting Preservation
The highly parallel workflows of modern software development have made m...
research
∙
12/15/2021
Harvesting Production GraphQL Queries to Detect Schema Faults
GraphQL is a new paradigm to design web APIs. Despite its growing popula...
research
∙
11/24/2021
FLACOCO: Fault Localization for Java based on Industry-grade Coverage
Fault localization is an essential step in the debugging process. Spectr...
research
∙
10/30/2021
Chaos Engineering of Ethereum Blockchain Clients
The Ethereum blockchain is the operational backbone of major decentraliz...
research
∙
09/22/2021
Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
We target the problem of synthesizing proofs of semantic equivalence bet...
research
∙
08/18/2021
Multi-Variant Execution at the Edge
Edge-cloud computing offloads parts of the computations that traditional...
research
∙
08/10/2021
Megadiff: A Dataset of 600k Java Source Code Changes Categorized by Diff Size
This paper presents Megadiff, a dataset of source code diffs. It focuses...
research
∙
05/10/2021
Neural Program Repair with Execution-based Backpropagation
Neural machine translation (NMT) architectures have achieved promising r...
research
∙
04/16/2021
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
In this paper, we address the problem of automatic repair of software vu...
research
∙
03/22/2021
Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations
Previous work has shown that early resolution of issues detected by stat...
research
∙
12/12/2020
R-Hero: A Software Repair Bot based on Continual Learning
Software bugs are common and correcting them accounts for a significant ...
research
∙
12/11/2020
A Comprehensive Study of Code-removal Patches in Automated Program Repair
Automatic Program Repair (APR) techniques can promisingly help reducing ...
research
∙
12/02/2020
Production Monitoring to Improve Test Suites
Software testing ensures that a software system behaves as intended. In ...
research
∙
11/20/2020
Hyperparameter Optimization for AST Differencing
Computing the differences between two versions of the same program is an...
research
∙
10/05/2020
On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation
Commit messages play an important role in software maintenance and evolu...
research
∙
08/17/2020
CROW: Code Diversification for WebAssembly
The adoption of WebAssembly has rapidly increased in the last few years ...
research
∙
07/14/2020
Longitudinal Analysis of the Applicability of Program Repair on Past Commits
The applicability of program repair in the real world is a little resear...
research
∙
06/08/2020
Realistic Error Injection for System Calls
In this paper, we present a novel fault injection framework called Phoeb...
research
∙
05/21/2020
Java Decompiler Diversity and its Application to Meta-decompilation
During compilation from Java source code to bytecode, some information i...
research
∙
02/24/2020
Superoptimization of WebAssembly Bytecode
Motivated by the fast adoption of WebAssembly, we propose the first func...
research
∙
01/21/2020
A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem
Build automation tools and package managers have a profound influence on...
research
∙
12/14/2019
Automatic Observability for Dockerized Java Applications
Docker is a virtualization technique heavily used in industry to build c...
research
∙
12/04/2019
Using Sequence-to-Sequence Learning for Repairing C Vulnerabilities
Software vulnerabilities affect all businesses and research is being don...
research
∙
10/26/2019
Automated Classification of Overfitting Patches with Statically Extracted Code Features
Automatic program repair (APR) aims to reduce the cost of manually fixin...
research
∙
10/11/2019
Repairnator patches programs automatically
Repairnator is a bot. It constantly monitors software bugs discovered du...
research
∙
10/08/2019
Scalable Comparison of JavaScript V8 Bytecode Traces
The comparison and alignment of runtime traces are essential, e.g., for ...
research
∙
09/30/2019
Automated Patch Assessment for Program Repair at Scale
In this paper, we do automatic correctness assessment for patches genera...
research
∙
09/10/2019
Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis
An extreme transformation removes the body of a method that is reached b...
research
∙
08/19/2019
The Strengths and Behavioral Quirks of Java Bytecode Decompilers
During compilation from Java source code to bytecode, some information i...
research
∙
07/30/2019
Observability and Chaos Engineering on System Calls for Containerized Applications in Docker
In this paper, we present a novel fault injection system called ChaosOrc...
research
∙
07/22/2019
Learning the Relation between Code Features and Code Transforms with Structured Prediction
We present in this paper the first approach for structurally predicting ...
research
∙
07/12/2019
iFixR: Bug Report driven Program Repair
Issue tracking systems are commonly used in modern software development ...
research
∙
05/07/2019
Explainable Software Bot Contributions: Case Study of Automated Bug Fixes
In a software project, esp. in open-source, a contribution is a valuable...
research
∙
04/20/2019
Interviewing the Most Successful Bot on GitHub: Dr Travis CI on 35+ Million of its Jobs
Travis CI handles automatically thousands of builds every day to, amongs...
research
∙
04/05/2019
A Literature Study of Embeddings on Source Code
Natural language processing has improved tremendously after the success ...
research
∙
04/03/2019
Styler: Learning Formatting Conventions to Repair Checkstyle Errors
Formatting coding conventions play an important role on code readability...
research
∙
02/22/2019
An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration
When a developer pushes a change to an application's codebase, in the fo...
research
∙
02/07/2019