Publication

PBCOV: a property-based coverage criterion

Publications associées (30)

Seismic Testing of Adjacent Interacting Masonry Structures

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

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Mathias Josef Payer, Jiayuan Zhang, Yuqing Zhang, Flavio Toffalini, Han Zheng

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

Usenix Assoc2023

A Reuse-Ready Timber Slab-and-Column System for Modular Building Structures

Corentin Jean Dominique Fivet, Jan Friedrich Georg Brütting, Alex-Manuel Muresan, Jonas Warmuth, Edisson Xavier Estrella Arcos

The construction industry is a significant contributor to resource consumption and waste generation. To address this issue, component reuse has been proposed as a way to prevent valuable building elements from being discarded and avoid producing new ones. ...

Curran Associates, Inc.2023

DatAFLow: Toward a Data-flow-guided Fuzzer

Mathias Josef Payer

This Replicating Computational Report (RCR) describes (a) our datAFLow fuzzer and (b) how to replicate the results in "datAFLow: Toward a Data-Flow-Guided Fuzzer." Our primary artifact is the datAFLow fuzzer. Unlike traditional coverage-guided greybox fuzz ...

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

Modality-invariant Visual Odometry for Embodied Vision

Amir Roshan Zamir, Roman Christian Bachmann, Marius Reinhard Memmel

Effectively localizing an agent in a realistic, noisy setting is crucial for many embodied vision tasks. Visual Odometry (VO) is a practical substitute for unreliable GPS and compass sensors, especially in indoor environments. While SLAM-based methods show ...

Ieee Computer Soc2023

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Mathias Josef Payer

Coverage-guided greybox fuzzers rely on control-flow coverage feedback to explore a target program and uncover bugs. Compared to control-flow coverage, data-flow coverage offers a more fine-grained approximation of program behavior. Data-flow coverage capt ...

2023

On the slip burst amplitude cutoff in dislocation-rich microcrystals

Andreas Mortensen, Luciano Borasi

The plastic deformation of small-scale face-centered cubic metals exhibits intermittent slip burst events that appear on stress-strain curves as sudden strain jumps and/or load drops. These events are generally attributed to the avalanche-like cooperative ...

Pergamon-Elsevier Science Ltd2023

Improving algal bloom detection using spectroscopic analysis and machine learning: A case study in a large artificial reservoir, South Korea

Trung-Dung Hoang, Thanh Trung Huynh

The prediction of algal blooms using traditional water quality indicators is expensive, labor-intensive, and timeconsuming, making it challenging to meet the critical requirement of timely monitoring for prompt management. Using optical measures for foreca ...

ELSEVIER2023

A Network Calculus Analysis of Asynchronous Mechanisms in Time-Sensitive Networks

Ehsan Mohammadpour

Time-sensitive networks provide worst-case guarantees for applications in domains such as the automobile, automation, avionics, and the space industries. A violation of these guarantees can cause considerable financial loss and serious damage to human live ...

EPFL2023