K Ambrose,
S Huntsman, M Robinson… - arXiv preprint arXiv …, 2020 - arxiv.org
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 …