FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

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 ...

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

Fuzzing is the de-facto default technique to discover software flaws, randomly testing programs to discover crashing test cases. Yet, a particular scenario may only care about specific code regions (for, e.g., bug reproduction, patch or regression testing) ...

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 ...

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

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 ...

Fuzzing is one of the most popular and effective techniques for finding software bugs. To detect triggered bugs, fuzzers leverage a variety of sanitizers in practice. Unfortunately, sanitizers target long running experiments-e.g., developer test suites-not ...

We argue that frequent sampling of the fraction ofa priorinon-symptomatic but infectious humans (either by random or cohort testing) significantly improves the management of the COVID-19 pandemic, when compared to intervention strategies relying on data fr ...

Switzerland is among the countries with the highest number of coronavirus disease-2019 (COVID-19) cases per capita in the world. There are likely many people with undetected SARS-CoV-2 infection because testing efforts are currently not detecting all infec ...

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 ...

Assessing the burden of COVID-19 on the basis of medically attended case numbers is suboptimal given its reliance on testing strategy, changing case definitions, and disease presentation. Population-based serosurveys measuring anti-severe acute respiratory ...

We present an extension of a linearized Coulomb collision operator, previously used in several Eulerian kinetic codes for like-species collisions and unlike-species collisions in the case where the backgrounds about which the linearization is made all are ...

Diabetes is a global epidemic with millions of people dying from it every year. Progress in microelectronics and machine learning has led to a huge number of FDA approvals of devices for continuous monitoring and treatment of diabetes with one product usin ...

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 ...

This paper summarizes the findings of two test programs that investigated the hysteretic behavior of wide-flange columns in steel moment-resisting frames. Both deep and shallow steel columns were examined. The members were subjected to unidirectional and b ...

The present data paper describes an experimental campaign on five thin T-shaped reinforced concrete walls, including: details on the test units, materials, test setup, loading protocol, instrumentation, main features of each unit's response, organization o ...

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...

Multiple software agents can be used to perform the real-time control of electrical grids. The control performance of such solutions is influenced by software non-idealities such as crashes and delays of the software agents, and message losses and delays d ...

We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, runs on ...

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Chat with Graph Search

Community-Aware Group Testing

Seismic Testing of Adjacent Interacting Masonry Structures

Fast correlation function calculator A high-performance pair-counting toolkit

One Fuzz Doesn’t Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Group testing for connected communities

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

Seed Selection for Successful Fuzzing

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Testing of asymptomatic individuals for fast feedback-control of COVID-19 pandemic

COVID-19 epidemic in Switzerland: on the importance of testing, contact tracing and isolation

FuzzGen: Automatic Fuzzer Generation

Seroprevalence of anti-SARS-CoV-2 IgG antibodies in Geneva, Switzerland (SEROCoV-POP): a population-based study

Linearized Coulomb Collision Operator for Simulation of Interpenetrating Plasma Streams

Optical microsystems for genetically engineered biosensors. Case study: Glucose monitoring

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Steel Columns under Multi-Axis Seismic Loading: Experimental Findings and Design Recommendations

Tests on Thin Reinforced Concrete Walls Subjected to In-plane and Out-of-plane Cyclic Loading

On verifying causal consistency

T-RECS: A Software Testbed for Multi-Agent Real-Time Control of Electric Grids

A Scala Library for Testing Student Assignments on Concurrent Programming