Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 ; revised selected papers / - Grabowski, Jens.; Nielsen, Brian. (Springer, 2005)