Formal Approaches to Testing of Software

Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, Manuel Núñez, Paul Baker, Mercedes G. Merayo, 2009: Eindhoven, The Netherlands

Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa, 2008: Tokyo, Japan

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, Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp, 2007: Tallinn, Estonia