论文标题
拓扑差异测试
Topological Differential Testing
论文作者
论文摘要
我们引入了拓扑差异测试（TDT），这是一种在输入语料库上提取一组程序的共识行为的方法。 TDT使用简单复合物的拓扑概念（并隐式利用较丰富的拓扑概念，例如滑轮和持久性）来确定导致行为不一致的输入，然后又显示\ emph {de ext ext of facto}输入规范。我们在详细介绍其应用程序以了解各种解析器的行为中的PDF文件格式之前，将TDT轻轻介绍TDT。最后，我们讨论理论细节和其他可能的应用程序。
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 \emph{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.
