432 citations · 5.8k across the 150 of their papers we have counts for
10 papers · 1 filter
Harvesting Production GraphQL Queries to Detect Schema Faults
Louise Zetterlund, Deepika Tiwari, Martin Monperrus +1
GraphQL is a new paradigm to design web APIs. Despite its growing popularity, there are few techniques to verify the implementation of a GraphQL API. We present a new testing appro…
FLACOCO: Fault Localization for Java based on Industry-grade Coverage
André Silva, Matias Martinez, Benjamin Danglot +2
Fault localization is an essential step in the debugging process. Spectrum-Based Fault Localization (SBFL) is a popular fault localization family of techniques, utilizing code-cove…
Chaos Engineering of Ethereum Blockchain Clients
Long Zhang, Javier Ron, Benoit Baudry +1
In this paper, we present ChaosETH, a chaos engineering approach for resilience assessment of Ethereum blockchain clients. ChaosETH operates in the following manner: First, it moni…
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
Steve Kommrusch, Martin Monperrus, Louis-Noël Pouchet
We target the problem of automatically synthesizing proofs of semantic equivalence between two programs made of sequences of statements. We represent programs using abstract syntax…
Megadiff: A Dataset of 600k Java Source Code Changes Categorized by Diff Size
Martin Monperrus, Matias Martinez, He Ye +3
This paper presents Megadiff, a dataset of source code diffs. It focuses on Java, with strict inclusion criteria based on commit message and diff size. Megadiff contains 663 029 Ja…
Multi-Variant Execution at the Edge
Javier Cabrera-Arteaga, Pierre Laperdrix, Martin Monperrus +1
Edge-cloud computing offloads parts of the computations that traditionally occurs in the cloud to edge nodes,e.g., CDN servers, in order to get closer to the users and reduce laten…