Testing Properties of Generic Functions. - Patrik Jansson; Johan Jeuring; Laurence Cabenda; Gerbo Engels; Jacob Kleerekoper; Sander Mak; Michiel Overeem; Kees Visser (IFL, 2006)