1.Model-Based TestingHarry [email protected]© 2006 Harry Robinson, Google 2. Goals for Today • Convey techniques for • How to model systems • How to…