5th International Conference on Tests & Proofs

Zurich, June 30 - July 01, 2011

Part of the TOOLS Federated Conferences 2011

Keynote Speakers

Thursday, 09:00-10:30, Patrice Godefroid, Microsoft Research:

Tests from Proofs (slides)

Friday, 11:00-12:00, Marie-Claude Gaudel, Université de Paris-Sud, France:

Checking Models, Proving Programs, and Testing Systems (slides)