论文标题
“输入不变”的电子附录
Electronic Appendix to "Input Invariants"
论文作者
论文摘要
在我们的论文“输入不变式”的电子附录中，在ESEC/FSE'22上接受，我们提供了其他示例，正式定义，定理和证明草图，以补充我们的论文。此外，我们显示了在评估中开采的不变性。
In this electronic appendix to our paper "Input Invariants," accepted at ESEC/FSE'22, we provide additional examples, formal definitions, theorems, and proof sketches to complement our paper. Furthermore, we show the invariants that ISLearn mined in our evaluation.
