PSSE 2007:
Recife, Brazil
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.):
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures.
Lecture Notes in Computer Science 6153 Springer 2010, ISBN 978-3-642-14334-2 
- Patrícia Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado:
Software Testing: An Overview.
1-17
- Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, Erika Nina Höhn, José Carlos Maldonado:
Functional, Control and Data Flow, and Mutation Testing: Theory and Practice.
18-58
- Patrícia Machado, Augusto Sampaio:
Automatic Test-Case Generation.
59-103
- John D. McGregor:
Testing a Software Product Line.
104-140
- Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Parameterized Unit Testing with Pex: Tutorial.
141-202
- Michael A. Hennell:
Software Tool Issues.
203-214
- Marie-Claude Gaudel:
Software Testing Based on Formal Specification.
215-242
- Bernhard K. Aichernig:
A Systematic Introduction to Mutation Testing in Unifying Theories of Programming.
243-287
Last update Tue May 21 17:53:06 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
