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)