Editors:
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
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6153)
Conference series link(s): PSSE: Pernambuco Summer School on Software Engineering
Conference proceedings info: PSSE 2007.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
About this book
Keywords
- Software Engineering
- algebraic specifications
- concurrency
- fault-based testing
- parameterized unit testing
- program optimization
- programming
- selection
- software quality
- testing
- transmission systems
Editors and Affiliations
-
Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil
Paulo Borba, Augusto Sampaio
-
Department of Computer Science, University of York, Heslington, UK
Ana Cavalcanti, Jim Woodcook
Bibliographic Information
Book Title: Testing Techniques in Software Engineering
Book Subtitle: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Editors: Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-14335-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-14334-2Published: 30 July 2010
eBook ISBN: 978-3-642-14335-9Published: 07 July 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 313
Number of Illustrations: 73 b/w illustrations
Topics: Software Engineering, Programming Techniques, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory