Performance: runtime growth

• Cubic in number of variables at a program point

  • Linear in number of invariants checked/discovered

• Linear in number of samples (test suite size)

• Linear in number of instrumented program points

Previous slide

Next slide

Back to first slide

View graphic version