==================================================================
PSSE 2007: Testing
Pernambuco School on Software Engineering
REGISTRATION DEADLINE: 30th of September
==================================================================
3-7 December, 2007
Recife, Pernambuco, Brazil
URL: http://www.cin.ufpe.br/~psse/2007/
Organization: Universidade Federal de Pernambuco, Brazil
University of York, UK
==================================================================
PSSE 2007: Testing is the second Pernambuco School on Software
Engineering. It will be held in Recife, Brazil, during the week of
the 3rd-7th of December, 2007. It is aimed at students,
researchers, and professionals interested in testing, and is a
perfect opportunity for quickly acquiring background and
state-of-the-art knowledge on both the theory and the practice of
testing.
The event will gather internationally leading academics and
industrialists, who will present five-hour courses and provide
extensive tutorials.
* Mutation Testing in the UTP
Bernhard Aichernig, Graz University of Technology, Austria/UNU-IIST, Macau
* Testing based on Formal Specifications
Marie-Claude Gaudel, Universite de Paris-Sud/CNRS
* Testing Tools: an appraisal
Mike Hennell, LDRA
* Test-Case Generation
Patricia Machado, Universidade Federal de Campina Grande
Augusto Sampaio, Universidade Federal de Pernambuco
* Functional, Control and Data Flow, and Mutation Testing
Jose Carlos Maldonado, Universidade de São Paulo
Auri Marcelo Rizzo Vincenzi, Universidade Catolica de Santos
* Testing Software Product Lines
John McGregor, Clemson University
* Systematic unit testing with Pex
Wolfram Schulte, Microsoft Research
Postproceedings of the first Pernambuco School on Software
Engineering, whose main theme was refinement, were published in
Springer's Lecture Notes in Computer Science series
(
www.springerlink.com/content/ul155t366h7u/?p=1582956453a54a34a572ecd8a6feb56d&pi=1331
).
A similar volume will be produced for this edition of the event.
PRELIMINARY PROGRAM AND REGISTRATION
------------------------------------
A preliminary program and registration information can be found on
the conference web pages: http://www.cin.ufpe.br/~psse/2007.
SPONSORS
--------
* Formal Methods Europe
* International Institute for Software
Technology of the United Nations University (UNU/IIST)
* Microsoft Research
* Motorola
* Brazilian Computer Society (SBC)
ORGANIZATION
------------
Organizing Committee (Universidade Federal de Pernambuco):
* Paulo Borba (Chair)
* Eduardo Aranha
* Cristiano Bertolini
* Rafael Marques
* Sidney Nogueira
School Directors:
* Ana Cavalcanti, University of York
* Augusto Sampaio, Universidade Federal de Pernambuco
* Jim Woodcock, University of York
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
