Buchs, DidierPéraire, Cécile2005-09-202005-09-202005-09-201999https://infoscience.epfl.ch/handle/20.500.14299/216893This tutorial describes the approach we develop for the formal testing of OO software. We also describe the operational techniques, that can be used, to select test cases.TutorialTesttext::conference output::conference proceedings::conference paper