Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings - Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang (Springer Berlin Heidelberg, 2007)