Electronic Appendix to "Input Invariants"
Programming Languages
2022-08-26 v1
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.
Cite
@article{arxiv.2208.12049,
title = {Electronic Appendix to "Input Invariants"},
author = {Dominic Steinhöfel and Andreas Zeller},
journal= {arXiv preprint arXiv:2208.12049},
year = {2022}
}
Comments
9 pages. The main paper "Input Invariants" appeared at ESEC/FSE 2022