Abstract is missing.
- Software Testing: An OverviewPatrícia Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado. 1-17 [doi]
- Functional, Control and Data Flow, and Mutation Testing: Theory and PracticeAuri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, Erika Nina Höhn, José Carlos Maldonado. 18-58 [doi]
- Automatic Test-Case GenerationPatrícia Machado, Augusto Sampaio. 59-103 [doi]
- Testing a Software Product LineJohn D. McGregor. 104-140 [doi]
- Parameterized Unit Testing with Pex: TutorialNikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. 141-202 [doi]
- Software Tool IssuesMichael A. Hennell. 203-214 [doi]
- Software Testing Based on Formal SpecificationMarie-Claude Gaudel. 215-242 [doi]
- A Systematic Introduction to Mutation Testing in Unifying Theories of ProgrammingBernhard K. Aichernig. 243-287 [doi]