15 citations · 28 across the 3 of their papers we have counts for
1 paper · 1 filter
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…