An Extensible Technique for High-Precision Testing of Recovery Code

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Group testing is a technique that can reduce the number of tests needed to identify infected members in a population, by pooling together multiple diagnostic samples. Despite the variety and importance of prior results, traditional work on group testing ha ...

Masonry buildings form building aggregates around the world in historical centers, which developed as the layout of the city or village densified. In these aggregates, adjacent buildings can share structural walls, connected at the interfaces by interlocki ...

The plastic deformation of small-scale face-centered cubic metals exhibits intermittent slip burst events that appear on stress-strain curves as sudden strain jumps and/or load drops. These events are generally attributed to the avalanche-like cooperative ...

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Fuzzers effectively explore programs to discover bugs. Greybox fuzzers mutate seed inputs and observe their execution. Whenever a seed reaches new behavior (e.g., new code or higher execution frequency), it is stored for further mutation. Greybox fuzzers d ...

The substitution of portland clinker by supplementary cementitious materials (SCMs) is one of the main avenues for the further decarbonization of cement production. To secure future SCM supplies, generic and performance-related test methods for SCMs are re ...

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

How can we discern whether the covariance operator of a stochastic pro-cess is of reduced rank, and if so, what its precise rank is? And how can we do so at a given level of confidence? This question is central to a great deal of methods for functional dat ...

Browser APIs are essential to the modern web experience. Due to their large number and complexity, they vastly expand the attack surface of browsers. To detect vulnerabilities in these APIs, fuzzers generate test cases with a large amount of random API inv ...

Steel beams with reduced beam section (RBS) are often used as part of prequalified connections in seismic regions. However, RBS connections are not as common in Europe. Reasons relate to easiness in fabrication, which requires on-site welding, and the seis ...

The shear stiffness of headed stud connector is a critical parameter for the calculation of deflection and inter-facial shear force for steel-concrete composite structure. Thus, this study presented a promising data-driven model auto-tuning Deep Forest (AT ...

In this paper, we propose algorithms that leverage a known community structure to make group testing more efficient. We consider a population organized in disjoint communities: each individual participates in a community, and its infection probability depe ...

An Extensible Technique for High-Precision Testing of Recovery Code

Chat with Graph Search

Community-Aware Group Testing

Seismic Testing of Adjacent Interacting Masonry Structures

On the slip burst amplitude cutoff in dislocation-rich microcrystals

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

ACTOR: Action-Guided Kernel Fuzzing

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Interlaboratory Test Program to Determine the Precision of the R3 Test Method (ASTM C1897-20) for Measuring Reactivity of Supplementary Cementitious Materials

Ludwig van Beethoven - Piano Sonatas (A corpus of annotated scores)

Edvard Grieg - Lyric Pieces (A corpus of annotated scores)

Frédéric Chopin - Mazurkas (A corpus of annotated scores)

Antonín Dvořák (A corpus of annotated scores)

Franz Liszt - Années de Pèlerinage (A corpus of annotated scores)

Nikolai Medtner - Tales (A corpus of annotated scores)

Claude Debussy - Suite Bergamasque (A corpus of annotated scores)

Robert Schumann - Kinderszenen (A corpus of annotated scores)

Testing For The Rank Of A Covariance Operator

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Full-scale testing of European steel beams with reduced beam section under reversed cyclic loading

Auto-tuning deep forest for shear stiffness prediction of headed stud connectors

Group testing for connected communities