14 citations · 54 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020★ 9 cited
Topological Differential Testing
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…
cs.LO2020
The geometry of syntax and semantics for directed file transformations
Steve Huntsman, Michael Robinson
We introduce a conceptual framework that associates syntax and semantics with vertical and horizontal directions in principal bundles and related constructions. This notion of geom…