Electronic Appendix to "Input Invariants"
arXiv:2208.12049
Abstract
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.
arXiv comment9 pages. The main paper "Input Invariants" appeared at ESEC/FSE 2022