Springer · Springer Berlin Heidelberg
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, ... 6th, 2003 | 978-3-540-20894-5 | 2008 | Andreas Ulrich | |
| Testing of Communicating Systems XI: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems August ... in Information and Communication Technology) | 978-0-412-84430-0 | 1998 | Nina Yevtushenko | |
| Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings | 978-3-642-16572-6 | 2010 | Adenilso Simao · José Carlos Maldonado | |
| The Unknown Component Problem: Theory and Applications | 978-0-387-34532-1 | 2007 | Tiziano Villa · Robert K. Brayton · Alan Mishchenko · Alberto Sangiovanni-Vincentelli · Nina Yevtushenko |