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)