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
∙
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
∙
02/16/2023
Automatic Specialization of Third-Party Java Dependencies
Modern software systems rely on a multitude of third-party dependencies....
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/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/18/2021
Constraint-based Diversification of JOP Gadgets
Modern software deployment process produces software that is uniform and...
research
∙
11/04/2021
Automatic Diversity in the Software Supply Chain
Despite its obvious benefits, the increased adoption of package managers...
research
∙
10/30/2021
Chaos Engineering of Ethereum Blockchain Clients
The Ethereum blockchain is the operational backbone of major decentraliz...
research
∙
09/03/2021
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
This paper explores the use of relational symbolic execution to counter ...
research
∙
08/18/2021
Multi-Variant Execution at the Edge
Edge-cloud computing offloads parts of the computations that traditional...
research
∙
05/29/2021
A Longitudinal Analysis of Bloated Java Dependencies
We study the evolution and impact of bloated dependencies in a single so...
research
∙
04/29/2021
The Behavioral Diversity of Java JSON Libraries
JSON is a popular file and data format that is precisely specified by th...
research
∙
03/17/2021
DUETS: A Dataset of Reproducible Pairs ofJava Library-Clients
Software engineering researchers look for software artifacts to study th...
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/02/2020
Production Monitoring to Improve Test Suites
Software testing ensures that a software system behaves as intended. In ...
research
∙
10/15/2020
Interpretation of Swedish Sign Language using Convolutional Neural Networks and Transfer Learning
The automatic interpretation of sign languages is a challenging task, as...
research
∙
08/19/2020
Trace-based Debloat for Java Bytecode
Software bloat is code that is packaged in an application but is actuall...
research
∙
08/17/2020
CROW: Code Diversification for WebAssembly
The adoption of WebAssembly has rapidly increased in the last few years ...
research
∙
07/17/2020
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks
Modern software deployment process produces software that is uniform, an...
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
∙
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/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/26/2019
Analyzing 2.3 Million Maven Dependencies to Reveal an Essential Core in APIs
This paper addresses the following question: does a small, essential, co...
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
∙
05/03/2019
Browser Fingerprinting: A survey
With this paper, we survey the research performed in the domain of brows...
research
∙
03/13/2019
The Emergence of Software Diversity in Maven Central
Maven artifacts are immutable: an artifact that is uploaded on Maven Cen...
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
∙
01/16/2019
The Maven Dependency Graph: a Temporal Graph-based Representation of Maven Central
The Maven Central Repository provides an extraordinary source of data to...
research
∙
01/08/2019
A Journey Among Java Neutral Program Variants
Neutral program variants are functionally similar to an original program...
research
∙
12/20/2018
Automatic Quality Assurance and Release (Report from Dagstuhl Seminar 18122)
This report documents the program and the outcomes of Dagstuhl Seminar 1...
research
∙
11/20/2018
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects
In the literature, there is a rather clear segregation between manually ...
research
∙
11/07/2018
Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration
Descartes is a tool that implements extreme mutation operators and aims ...
research
∙
10/13/2018
Human-competitive Patches in Automatic Program Repair with Repairnator
Repairnator is a bot. It constantly monitors software bugs discovered du...
research
∙
07/13/2018
A Comprehensive Study of Pseudo-tested Methods
Pseudo-tested methods are defined as follows: they are covered by the te...
research
∙
05/14/2018
A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM
Software systems contain resilience code to handle those failures and un...
research
∙
10/22/2017
