Marc Phalippou Abstract testing and concrete testers. 221-236 1994 conf/pstv/1994 PSTV db/conf/pstv/pstv1994.html#Phalippou94