TY - BOOK AU - Wolff,Burkhart AU - Zaïdi,Fatiha ED - SpringerLink (Online service) TI - Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642245800 AV - QA76.758 U1 - 005.1 23 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Computer Science KW - Software Engineering KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Programming Techniques KW - Models and Principles N2 - 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 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing sofware systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures UR - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-24580-0 ER -