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.
- Simulator Source Code: here (.zip)
- **Revised/Updated** Simulator & Trace Generator: here
- Documentation: README (.txt)
Mutation and SPRT Programs
Please contact the authors if you need assistance with using these programs.
Additional Rounds of Experiments
We repeated the experiments in the paper on different sets of mutant simulators and traces to increase our confidence. The results can be found below and are consistent with our original conclusions.
(Note that different mutants were also generated for the code-modification attacks in RQ5.)