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.
9 pages. The main paper "Input Invariants" appeared at ESEC/FSE 2022