Sign in
PSSE
2004
2006
2008
2010
2004
2010
Keyphrases
Publications
volume 6153, 2010
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
PSSE
6153 (2010)
2007
John D. McGregor
Testing a Software Product Line.
PSSE
(2007)
Patrícia D. L. Machado
,
Augusto Sampaio
Automatic Test-Case Generation.
PSSE
(2007)
Michael A. Hennell
Software Tool Issues.
PSSE
(2007)
Patrícia D. L. Machado
,
Auri Marcelo Rizzo Vincenzi
,
José Carlos Maldonado
Software Testing: An Overview.
PSSE
(2007)
Nikolai Tillmann
,
Jonathan de Halleux
,
Wolfram Schulte
Parameterized Unit Testing with Pex: Tutorial.
PSSE
(2007)
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.
PSSE
(2007)
Bernhard K. Aichernig
A Systematic Introduction to Mutation Testing in Unifying Theories of Programming.
PSSE
(2007)
Marie-Claude Gaudel
Software Testing Based on Formal Specification.
PSSE
(2007)
volume 3167, 2006
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
PSSE
3167 (2006)
2004
Ana Cavalcanti
,
Augusto Sampaio
,
Jim Woodcock
Refinement: An overview.
PSSE
(2004)
Annabelle McIver
,
Carroll Morgan
.
PSSE
(2004)
Jim Davies
Using CSP.
PSSE
(2004)
Zhiming Liu
,
Mathai Joseph
Real-Time and Fault-Tolerant Systems.
PSSE
(2004)
David Déharbe
Techniques for Temporal Logic Model Checking.
PSSE
(2004)
Phil Clayton
,
Colin O'Halloran
Using the Compliance Notation in Industry.
PSSE
(2004)
Augusto Sampaio
,
Paulo Borba
Transformation Laws for Sequential Object-Oriented Programming.
PSSE
(2004)
Ana Cavalcanti
,
Jim Woodcock
.
PSSE
(2004)