Publications associées à FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Community-Aware Group Testing

Suhas Diggavi, Christina Fragouli, Pavlos Nikolopoulos, 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 INC2023

Seismic Testing of Adjacent Interacting Masonry Structures

Katrin Beyer, Andrea Penna, Igor Tomic

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

2023

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

Cheng Zhao

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

EDP SCIENCES S A2023

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

Mathias Josef Payer

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

ASSOC COMPUTING MACHINERY2022

Group testing for connected communities

Suhas Diggavi, Christina Fragouli, Pavlos Nikolopoulos, 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 PUBLISHING2021

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

David Atienza Alonso, Lara Orlandic, Tomas Teijeiro Campo

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

Zenodo2021

Seed Selection for Successful Fuzzing

Mathias Josef Payer

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 MACHINERY2021

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Mathias Josef Payer

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

USENIX ASSOC2020

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

Gabriel Aeppli

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

2020

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

Marcel Salathé

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

2020

FuzzGen: Automatic Fuzzer Generation

Mathias Josef Payer

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 ASSOC2020

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

Didier Trono, Dusan Petrovic, Benjamin André René Meyer, David Nicolas De Ridder, Idris Guessous

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

2020

Linearized Coulomb Collision Operator for Simulation of Interpenetrating Plasma Streams

Stephan Brunner

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

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

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

Bakul Jitendra Vinchhi

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

EPFL2019

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

Vitaly Chipounov, George Candea, 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-IET2018

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

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

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

Trans Tech Publications2018

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

Katrin Beyer, João Saraiva Esteves Pacheco de Almeida, Angelica Rosso, Ovidiu Prodan

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

2017

On verifying causal consistency

Rachid Guerraoui, Jad Hamza

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

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

Jean-Yves Le Boudec, Maaz Mashood Mohiuddin, Wajeb Saab, Roman Rudnik, Jagdish Prasad Achara

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

2017

A Scala Library for Testing Student Assignments on Concurrent Programming

Mikaël Mayer, Ravichandhran Kandhadai Madhavan

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

Assoc Computing Machinery2016