This section contains supplementary material for our paper, Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System (PDF), to be published at IEEE S&P 2018.
Simulator
Please contact the authors if you need assistance with setting up the simulator.
Mutation and SPRT Programs
Please contact the authors if you need assistance with using these programs.