Topological Differential Testing

03/02/2020
by   Kristopher Ambrose, et al.
0

We introduce topological differential testing (TDT), an approach to extracting the consensus behavior of a set of programs on a corpus of inputs. TDT uses the topological notion of a simplicial complex (and implicitly draws on richer topological notions such as sheaves and persistence) to determine inputs that cause inconsistent behavior and in turn reveal de facto input specifications. We gently introduce TDT with a toy example before detailing its application to understanding the PDF file format from the behavior of various parsers. Finally, we discuss theoretical details and other possible applications.

READ FULL TEXT

page 2

page 6

page 9

research
06/06/2022

On the Convergence of Optimizing Persistent-Homology-Based Losses

Topological loss based on persistent homology has shown promise in vario...
research
10/02/2019

A Framework for Differential Calculus on Persistence Barcodes

We define notions of differentiability for maps from and to the space of...
research
05/05/2021

Stitch Fix for Mapper and Topological Gains

The mapper construction is a powerful tool from topological data analysi...
research
10/16/2020

Optimizing persistent homology based functions

Solving optimization tasks based on functions and losses with a topologi...
research
08/19/2021

Monitoring weeder robots and anticipating their functioning by using advanced topological data analysis

The present paper aims at analyzing the topological content of the compl...
research
11/30/2021

Fast Topological Clustering with Wasserstein Distance

The topological patterns exhibited by many real-world networks motivate ...
research
05/10/2021

Z-GCNETs: Time Zigzags at Graph Convolutional Networks for Time Series Forecasting

There recently has been a surge of interest in developing a new class of...

Please sign up or login with your details

Forgot password? Click here to reset