Marie-Claude Gaudel Testing Can Be Formal, Too. 82-96 1995 conf/tapsoft/1995 TAPSOFT db/conf/tapsoft/tapsoft95.html#Gaudel95 http://dx.doi.org/10.1007/3-540-59293-8_188