Program

    Mutation Testing in UTP (BA) Abstract Presentation
    Bernhard Aichernig, Graz University of Technology, Austria/UNU-IIST, Macau

    Testing in a Software Product Line Environment (JMc) Abstract Presentation
    John McGregor, Clemson University

    Functional, Structural and Mutation Testing (JM) Abstract Presentation
    José Carlos Maldonado, University of São Paulo
    Auri Marcelo Rizzo Vicenzi, Catholic University of Santos
    Márcio E. Delamaro, Centro Universitário Euripedes de Marília

    Testing Based on Formal Specifications (MCG)
    Marie-Claude Gaudel, University de Paris-Sud/CNRS Abstract Presentation

    Testing Tools: an Appraisal (MH) Abstract Presentation
    Mike Hennell, LDRA

    Test Case Generation (PM) Abstract Presentation
    Patrícia Machado, Federal University of Campina Grande
    Augusto Sampaio, Federal University of Pernambuco

    Systematic Unit Testing with Pex (NT) Abstract Presentation
    Wolfram Schulte, Microsoft Research
    Nikolai Tillmann, Microsoft Research
    Peli de Halleux, Microsoft Research

 

	Mon	Tue	Wed	Thu	Fri	Sat
08.00 - 08.30	Registration
08.30 - 09.30	JM	BA	JMc	JMc	JMc
09.30 - 10.30	JM	BA	BA	BA	BA
10.30 - 11.00	Coffee-break	Coffee-break	Coffee-break	Coffee-break	Coffee-break
11.00 - 12.00	JM	PM	PM	PM	PM
12.00 - 14.00	Lunch	Lunch	Lunch	Lunch	Lunch
14.00 - 15.00	JM	PM	JMc	JMc	MCG
15.00 - 16.00	JM	MCG	MCG	MCG	MCG
16.00 - 16.30	Coffee-break	Coffee-break	Coffee-break	Coffee-break	Coffee-break
16.30 - 17.30	NT	NT	NT	NT	NT
17.30 - 18.30	MH	MH	MH	MH	MH
19:00	Welcome Cocktail