Open questions include

• Minimizing test sets

• Testing OO programs

• Incremental re-testing

  • “Cheap” regression testing

• Balancing static analysis with testing

  • Can some properties be “proven” using this combination?

• … more … ?

Previous slide

Next slide

Back to first slide

View graphic version