![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
PSSE 2007: Recife, Brazil
- Paulo Borba, Ana Cavalcanti
, Augusto Sampaio, Jim Woodcock
:
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 D. L. 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 D. L. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.