Publication
An Extensible Technique for High-Precision Testing of Recovery Code
Related publications (42)
Community-Aware Group Testing
Pavlos Nikolopoulos, Christina Fragouli, Suhas Diggavi, Sundara Rajan Srinivasavaradhan
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 ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023Seismic Testing of Adjacent Interacting Masonry Structures
Katrin Beyer, Igor Tomic, Andrea Penna
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 ...
2023Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis
Mathias Josef Payer, Sirus Shahini
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 ...
ASSOC COMPUTING MACHINERY2023Interlaboratory Test Program to Determine the Precision of the R3 Test Method (ASTM C1897-20) for Measuring Reactivity of Supplementary Cementitious Materials
Karen Scrivener, Ruben Anton Snellings, Diana Londoño Zuluaga
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 ...
AMER SOC TESTING MATERIALS2022MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis
Mathias Josef Payer, Yu Jiang, Chijin Zhou
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 ...
New York2022Group testing for connected communities
Pavlos Nikolopoulos, Christina Fragouli, Suhas Diggavi, Sundara Rajan Srinivasavaradhan
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 ...
MICROTOME PUBLISHING2021A semi-automated workflow paradigm for the distributed creation and curation of expert annotations
Martin Alois Rohrmeier, Fabian Claude Moss, Markus Franz Josef Neuwirth, Johannes Hentschel
The creation and curation of labeled datasets can be an arduous, expensive, and time-consuming task. We introduce a workflow paradigm for remote consensus-building between expert annotators, while considerably reducing the associated administrative overhea ...
2021Seed Selection for Successful Fuzzing
Mutation-based greybox fuzzing-unquestionably the most widely-used fuzzing technique-relies on a set of non-crashing seed inputs (a corpus) to bootstrap the bug-finding process. When evaluating a fuzzer, common approaches for constructing this corpus inclu ...
ASSOC COMPUTING MACHINERY2021FuzzGen: Automatic Fuzzer Generation
Fuzzing is a testing technique to discover unknown vulnerabilities in software. When applying fuzzing to libraries, the core idea of supplying random input remains unchanged, yet it is non-trivial to achieve good code coverage. Libraries cannot run as stan ...
USENIX ASSOC2020Deep Learning for Music: Similarity Search and Beyond
Matthieu Gaston Michel Albert Devaux
This paper is a study on the use of Machine Learning and Deep Learning to determine the similarity between different musics. The first part introduces the framework used and some concepts of Deep Learning that will be used in the algorithms. The second par ...
2019