PBCOV: a property-based coverage criterion

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.

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

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

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

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

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

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

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

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

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

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

PBCOV: a property-based coverage criterion

Chat with Graph Search

Seismic Testing of Adjacent Interacting Masonry Structures

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

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

DatAFLow: Toward a Data-flow-guided Fuzzer

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

Modality-invariant Visual Odometry for Embodied Vision

DatAFLow: Toward a Data-Flow-Guided Fuzzer

On the slip burst amplitude cutoff in dislocation-rich microcrystals

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

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