Testing techniques in software engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering witha special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also coverthe semantic underpinnings of refinement, as well as industrial applications and refinement tools. The book gives an detailed tutorial introduction to the scientific basis of testing This book is the outcome of Pernambuco Summer School on Software Engineering (PSSE) 2007, devoted to the study of computer science and to the promotion of international scientific collaboration includes state of the art contributions from invited lecturers

• ISBN: 978-3-642-14334-2
• Editorial: Springer
• Encuadernacion: Rústica
• Páginas: 313
• Fecha Publicación: 23/07/2010
• Nº Volúmenes: 1
• Idioma: Inglés