presentation
committees
program
how to get
accommodation
registration
contact
 
Summer School 2005, June 27-July 1, Paris
Preliminary Program


June 27 June 28 June 29 June 30 July 1
9h30 - 11h30 Testing from Abstract Data Type Specifications, Pascale Legall, LAMI-Evry University Conformance Methods and Architecture, Nina Yevtushenko, Tomsk University
abstract
Application of New Methods to industrial domains, Jan Tretmans, Radboud Universiteit Nijmegen
abstract
Use and Development of Platforms for the Validation of Industrial Applications, Ana Cavalli, GET/INT Industrial Application, Yves-Marie Quemener, France Telecom R&D (invited speaker)
abstract
11h30 - 13h00 Timing Issues in Test Generation for VoIP Telephony, Umit Uyar, The City University of New York (invited speaker)
abstract
Conformance Test Generation with JML, Yves Ledru, LSR-IMAG
abstract
U2TP and TTCN-3 for Model-Based Testing, Ina Schieferdecker, FhG/FOKUS Testing Methods and Practices for Wireless Networks, Stéphane Maag, GET/INT From Components Testing to Interoperability Testing, Fatiha Zaidi, LRI-University of Paris-Sud (invited speaker)
14h30 - 16h00 Definition of Interoperability Testing, Richard Castanet, LaBRI-University of Bordeaux I Testing of Component-based and Service-oriented Architectures, Antonia Bertolino, ISTI-CNR
abstract
Testing on Real Time Systems, Manuel Núñez, University Complutense of Madrid The Agatha Tool, Jean-Pierre Gallois, CEA (invited speaker) Adaptive Testing, Robert Hierons, BRUNEL University
16h30 - 18h00 Interoperability Software Testing Methods for Ubiquitous Networks, Teruo Higashino, Osaka University (invited speaker)
abstract
Re-Usability in Testing, Helmut Neukirchen, Göttingen University
abstract
Paris visit + Diner banquet Tools demonstrations from partners and industrials PANEL: Experiments of Advanced Testing Methodologies for Industrial Applications
Roland Groz (LSR-IMAG)
Jean-Pierre Gallois (CEA)
Jim Allen (Avaya)


Accueil Plan du site Contact Plan d'accès Rechercher Mentions légales