S&P 2018 Paper: Supplementary Material

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)
  • Documentation: README (.txt)

Mutation and SPRT Programs

Please contact the authors if you need assistance with using these programs.

  • Framework Source Code: here (.zip)
  • Documentation: README (.txt)

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.)