Electronic Appendix to "Input Invariants"

08/25/2022
by   Dominic Steinhöfel, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset