摘要：论文标题: 《Input Invariants》电子附录：补充例子、正式定义、定理和证明草图，以及ISLearn在评估中挖掘出的不变量。 (Accepted at ESEC/FSE'22)
作者：Dominic Steinh"ofel and Andreas Zeller
论文ID：2208.12049
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-08-26
PDF 下载： 英文版 中文版pdf翻译中