Concept
Test oracle
Related publications (25)
ACTOR: Action-Guided Kernel Fuzzing
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 ...
Berkeley2023MINERVA: 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 York2022Quantum conformance test
We introduce a protocol addressing the conformance test problem, which consists in determining whether a process under test conforms to a reference one. We consider a process to be characterized by the set of end products it produces, which is generated ac ...
AMER ASSOC ADVANCEMENT SCIENCE2021Seed 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 MACHINERY2021Students' learning strategies, motivation and project-management skills during interdisciplinary projects in Covid times
Siara Ruth Isaac, Helena Kovacs, Julien Delisle, Marc Lafuente Martinez
In this study, we investigated an interdisciplinary project-based learning program. Students were confronted with interdisciplinary challenges in the form of complex and authentic problems, like building a racing car or making a mobile laboratory for genet ...
Technische Universität Berlin2021Multiple testing with test statistics following heavy-tailed distributions
In multiple testing problems where the components come from a mixture model of noise and true effect, we seek to first test for the existence of the non-zero components, and then identify the true alternatives under a fixed significance level . Two ...
EPFL2021Use of compact Laser Doppler Velocimetry in reduced scale model testing of hydraulic machines
François Avellan, Vincent Berruex, Andres Müller, Loïc Andolfatto, Masashi Sakamoto
Laser based flow survey methods such as Laser Doppler Velocimetry (LDV) or Particle Image Velocimetry (PIV) have long been used for studying the flow in hydraulic machines. Even if the results have crucially improved our understanding of potentially destab ...
2018Testing Graph Clusterability: Algorithms and Lower Bounds
Mikhail Kapralov, Aidasadat Mousavifar, Ashish Hari Chiplunkar
We consider the problem of testing graph cluster structure: given access to a graph G = (V, E), can we quickly determine whether the graph can be partitioned into a few clusters with good inner conductance, or is far from any such graph? This is a generali ...
IEEE COMPUTER SOC2018