9 citations · 9 across the 1 of their papers we have counts for
1 paper
Kristopher Ambrose, Steve Huntsman, Michael Robinson +1
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…