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
Book information
Description
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
Similar books
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
2009 · PDF
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
2009 · PDF
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
2010 · PDF
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
2013 · PDF
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
2011 · PDF
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
2012 · PDF
Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
2013 · PDF
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
2019 · PDF