Dynamic invariant detection

• Look for patterns in values the program computes

  • Instrument the program to write data trace files
  • Run the program on a test suite
  • Invariant engine reads data traces, generates potential invariants, and checks them

• Roughly, machine learning over program traces

Previous slide

Next slide

Back to first slide

View graphic version