To Infinity, and Beyond (Coverage)

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.

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

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

Functional connectomes (FCs) containing pairwise estimations of functional couplings between pairs of brain regions are commonly represented by correlation matrices. As symmetric positive definite matrices, FCs can be transformed via tangent space projecti ...

A unified numerical framework is presented for the modelling of multiphasic viscoelastic and elastic flows. The rheologies considered range from incompressible Newtonian or Oldroyd-B viscoelastic fluids to Neo-Hookean elastic solids. The model is formulate ...

Minimax-fair machine learning minimizes the error for the worst-off group. However, empirical evidence suggests that when sophisticated models are trained with standard empirical risk minimization (ERM), they often have the same performance on the worst-of ...

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

Investigating the intangible nature of a cultural domain can take multiple forms, addressing for example the aesthetic, epistemic and social dimensions of its phenomenology. The context of Southern Chinese martial arts is of particular significance as it c ...

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

The booming popularity of online services has led to a major evolution in the way these services are built and deployed. To cope with such online data-intensive services, service providers deploy several massive-scale datacenters, also referred to as wareh ...

The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems ...

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

Symbolic execution has proven to be a practical technique for building automated test case generation and bug finding tools. Nevertheless, due to state explosion, these tools still struggle to achieve scalability. Given a program, one way to reduce the num ...

Understanding cognitive states of human under different difficulty levels is useful in improving human-human and human-machine interactions. For example, a crucial factor in designing games is maintaining the engagement of players. An ideal scenario would ...

Since the OBS paradigm has become a potential candidate to cope with the needs of the future all optical networks, it has really caught the attention from both academia and industry worldwide. In this direction, OBS networks have been investigated under ma ...

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

In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocols and a wide range of applications. To thwart abuse of ND and the resultant c ...

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

It is noticeable that our society is increasingly relying on computer systems. Nowadays, computer networks can be found at places where it would have been unthinkable a few decades ago, supporting in some cases critical applications on which human lives ma ...

Steel columns in frame buildings subjected to earthquake shaking undergo bidirectional lateral drift demands. Till now, the majority of past experimental and numerical studies were primarily concerned with the unidirectional column behavior. This paper pro ...

To Infinity, and Beyond (Coverage)

Chat with Graph Search

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Tangent functional connectomes uncover more unique phenotypic traits

Numerical simulation of immiscible incompressible viscous, viscoelastic and elastic multiphase flows

When do Minimax-fair Learning and Empirical Risk Minimization Coincide?

DatAFLow: Toward a Data-flow-guided Fuzzer

The Facets of Intangible Heritage in Southern Chinese Martial Arts: Applying a Knowledge-Driven Cultural Contact Detection Approach

Quantum conformance test

Hardware-Software Co-Design of an RPC Processor

A NICE Way to Test OpenFlow Applications

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Efficient State Merging in Symbolic Execution

Decoding Cognitive States under Varying Difficulty Levels

Efficient State Merging in Symbolic Execution

Flexible simulators for OBS network architectures

Linearized Coulomb Collision Operator for Simulation of Interpenetrating Plasma Streams

Towards Provable Secure Neighbor Discovery in Wireless Networks

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

Protocol composition frameworks and modular group communication : models, algorithms and architectures

Development of Bidirectional Cyclic Lateral Loading Protocols for Experimental Testing of Steel Wide-Flange Columns