Testing of software and communicating systems : 19th IFIP TC6/WG61 International Conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings - Petrenko, Alexandre (Lecture notes in computer science, 2007)