× Proceedings of Workshop on Formal Approaches to Testing of Software (FATES 2004)19th IEEE International Conference on Automated Software Engineering - ASE 2004herausgegeben von Jens Grabowski und Brian NielsenMitwirkendeHerausgegeben vonJens GrabowskiHerausgegeben vonBrian Nielsen