Electronic Appendix to "Input Invariants"
Dominic Steinh\"ofel, Andreas Zeller
TL;DR
This electronic appendix enhances the main paper 'Input Invariants' by providing additional formal details, examples, and the invariants identified by ISLearn during evaluation.
Contribution
It offers supplementary formal definitions, proofs, and mined invariants that support and extend the original research on input invariants.
Findings
Invariants mined by ISLearn are presented.
Additional formal definitions and proof sketches are provided.
Supplementary examples and theorems support the main paper.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems