[PPT] - Random Testing of Purely Functional Abstract Datatypes Stefan PowerPoint Presentation