Next week

• Example tools

  • Type inference (Lackwit)
  • Dynamic invariant detection (Daikon)
  • …

Previous slide

Back to first slide

View graphic version