This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 4…
This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submis…
This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submis…
Testing of software and communication systems: 21st IFIP WG 6.1 international conference, TESTCO…
by Núñez, Manuel, Baker, Paul, Merayo, M. G., (Mercedes G.), IFIP WG 6.1 International Conference on Testing of Software and Communication Sytems, Eindhoven, The Netherlands), FATES 2009, Eindhoven, The Netherlands)
fromLecture Notes in Computer Science
Testing of software and communication systems: 21st IFIP WG 6.1 International Conference, TestCo…
by Baker, Paul, IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Eindhoven, Netherlands), Núñez, Manuel, (Professor), Merayo, M. G., (Mercedes G.), FATES 2009, Eindhoven, Netherlands), International Federation for Information Processing., Technical Committee 6
fromLecture Notes in Computer Science
Testing of software and communication systems: 21st IFIP WG 6.1 International Conference, TESTCO…
by Baker, Paul, IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Eindhoven, Netherlands), Núñez, Manuel, (Professor), Merayo, M. G., (Mercedes G.), FATES 2009, Eindhoven, Netherlands), International Federation for Information Processing., Technical Committee 6
fromLecture Notes in Computer Science
Testing of software and communication systems: 21st IFIP WG 6.1 international conference, TestCo…
by Núñez, Manuel, International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks, TestCom (21, 2009, Eindhoven)
fromLecture Notes in Computer Science
Testing of software and communication systems: 21st IFIP WG 6.1 International Conference, TESTCO…
by Núñez, Manuel, Baker, Paul, Merayo, M. G., (Mercedes G.), FATES 2009, Eindhoven, Netherlands), IFIP WG6.1 International Conference on Testing of Communicating Systems, Eindhoven, Netherlands)
fromLecture Notes in Computer Science
Annotation
Testing of software and communication systems: 21st IFIP WG 6.1 International Conference, TestCo…
by Baker, Paul, IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Eindhoven, Netherlands), Núñez, Manuel, (Professor), Merayo, M. G., (Mercedes G.), FATES 2009, Eindhoven, Netherlands), International Federation for Information Processing., Technical Committee 6
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented…
