Mireille Ducassé Introduction. 119-120 1997 4 Autom. Softw. Eng. 2 db/journals/ase/ase4.html#Ducasse97