EuroSTAR 2008 The Hague Netherlands 10-13 November 1Model-Based Testing of a Financial ApplicationCase StudyProf. Bruno LegeardSmartestingEuroSTAR 2008 The Hague Netherlands…