Publication
Efficient Testing of Recovery Code Using Fault Injection
Publications associées (44)
FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets
Mathias Josef Payer, Flavio Toffalini, Han Zheng, Yuqing Zhang, Jiayuan Zhang
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 ...
Berkeley2023Interlaboratory 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 MACHINERY2021Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing
George Candea, Vitaly Chipounov, Bin Zhang, Chao Feng
Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...
INST ENGINEERING TECHNOLOGY-IET2018Automated hill chart modeling procedure to estimate the performance of double regulated units
François Avellan, Loïc Andolfatto, Henri-Pascal Mombelli
The work presented in this paper details an original procedure developed in order to automatically build on-cam surfaces for double-regulated hydropower units such as Kaplan or bulb turbines. The proposed method allows a sparse exploration of the operating ...
2016Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces
Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...
EPFL2015PBCOV: a property-based coverage criterion
Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...
Springer2015