Lionel Van Aertryck Marc V. Benveniste Daniel Le Métayer CASTING: A Formally Based Software Test Generation Method. 101- 1997 ICFEM db/conf/icfem/icfem1997.html#AertryckBM97