Subject: TestCom 2002 - Call for Participation

From: Ina Schieferdecker <[email-masked]>
Date: Sun, 23 Dec 2001 18:32:33 +0100

Please excuse if you received that Call for Participation several times.
====================================================================

                          TestCom 2002
                 http://www.fokus.fhg.de/events/testcom2002

The IFIP 14th International Conference on Testing of Communicating Systems
  March 19-22, 2002, Berlin-Brandenburg Academy of Science, Berlin, Germany

                    CALL FOR PARTICIPATION

====================================================================

Dear colleague,

enclosed you will find the advance program and the Call for Participation
for the The IFIP 14th International Conference on Testing of 
Communicating Systems,
March 19-22, 2002, Berlin, Germany organized by FOKUS, the Fraunhofer 
Institute for
Open Communication Systems, and by BTU Cottbus, the Brandenburg 
University of
Technology at Cottbus.

Advance registration deadline is January 31st and hotel reservation 
deadline
are mid/end of February 2002. You can find more information on how to 
register at our
web site  
http://www.fokus.fhg.de/events/testcom2002/Registration/registration.html

TestCom 2002 features:

* Invited Lectures by Robert V. Binder, U.S.A and by J. Peleska, Germany
* Keynotes by Deutsche Telekom and Nokia
* 3 tutorials on software quality, formal testing and TTCN-3
* 21 full and 5 short papers covering aspects such as Testing TCP/IP and 
Internet
Systems, Interoperability Testing, Test Automation, Test Generation and 
Selection,
Testing Distributed Systems, FSM-based Testing, and TTCN-3
* Working Session on Trends in Testing Communicating Systems

----------------------------------
TestCom'2002 Advance Program
----------------------------------

Tuesday, March 19

09:00 - 12:30   
Tutorial Session
Tutorial A:
Measurement, Assessment and Certification of Dependable Software Systems
H.-L. Hausen
Fraunhofer, Germany

Tutorial B:
Testing with Transition Systems
J. Tretmans
University of Twente, The Netherlands
 
Tutorial C:
Software Testing with TTCN-3
T. Vassiliou-Gioles
Testing Technologies, Germany

14:00
Conference Opening

14:30 - 15:15   
Keynote Speech
Andreas Gehring, Deutsche Telekom
 
15:15 - 15:45
Coffee Break
 
15:45 - 17:15
Session I: Testing TCP/IP

A TCP Test System specifying only exceptional packet sequences
T. Ogishi, T. Hasegawa, T. Kato, K. Suzuki
KDDI, Japan

Verifying IP Meters from Sampled Measurements
C. Veciana-Nogues, A. Cabellos-Aparicio, J. Domingo-Pascual, J. Sole-Pareta
Universitat Politecnica de Catalunya, Spain

Testing IP Differentiated Services Implementations
C. Parada, J. Carapinha, F. Fontes, S. Lima, P. Carvalho
Universidade do Minho, Portugal
 
18:00
Welcome Event

Wednesday, March 20
09:00 - 10:00
Invited Talk
Achieving High Reliability for Ubiquitous Information Technology
Robert V. Binder
 
10:00 - 10:30
Coffee Break

10:30 - 12:00
Session II: Testing Internet Systems
 
An Automated, Flexible Testing Environment for UMTS
J. Bredereke, B.-H. Schlingloff
University of Bremen, Germany

Testing Mobile Agents
M. Marche, Y.-M. Quemener, R. Groz
France Telecom, France
 
Testing Access to External Information Sources in a  Mediator Environment
Z. Mann, J. Calmet, P. Kullmann
Budapest University, Hungary
University of Karlsruhe, Germany
 
12:00 - 13:30
Lunch

13:30 - 14:10
Session III: Industrial Session I

Compliance of Wireless Application Protocols
O. Kone
INPL Nancy, France

A Flexible Traffic Generator for Testing PABX and Call Center Performance
G. Roessler, T. Steinert
Tenovis, Germany
University of Stuttgart, Germany
 
14:10 - 14:40
Coffee Break
 
14:40 - 15:40
Session IV: Interoperability Testing
 
Interoperability Test Generation for Communication Protocols based on 
Multiple Stimuli Principle
S. Seol, M. Kim, S. T. Chanson
Information and Communications University, Korea
Hong Kong University of Science and Technology, China
 
Automated Generation of Interoperability Tests
C. Besse, A. Cavalli, M. Kim, F. Zaidi
INT Evry, France
Information and Communications University, Korea
 
15:40 - 16:10
Break
 
16:10 - 18:00
Working Session
Trends in Testing Communicating Systems

Thursday, March 21
09:00 - 09:45
Keynote Speech
Ari Ahtiainen, Nokia
 
09:45 - 10:45 
Session V: Industrial Session II

Experiences of TTCN-3 Test Executor Development
J. Z. Szabo
Ericsson Research, Hungary

Position Statement: Making TTCN-3 testing a success
W. Sachse
Danet, Germany
 
Position Statement: Testing Automation with Computer Aided Test Case 
Generation for GUI Based Software
T. Heikkila, P. Tenno, J. Vaananen
NetHawk Solutions, Finland
 
10:45 - 11:15
Coffee Break
 
11:15 - 12:15
Session VI: Test Automation
 
Automated Testing in Practice: The Highway Tolling System
R. G. de Vries, A. Belinfante, J. Feenstra
University of Twente, The Netherlands
 
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation
E. Horvath
Ericsson, Hungary
 
12:15 - 13:45
 Lunch
 
13:45 - 15:15
Session VII: Test Generation and Selection
 
Generate Certified Test Cases by Combining Theorem Proving and 
Reachability Analysis
D. Rouillard, R. Castanet
Labri, France
 
Test Selection, Trace Distance and Heuristics
L.M.G. Feijs, N. Goga, S. Mauw, J. Tretmans
Eindhoven University, The Netherlands
University of Twente, The Netherlands
 
Formulation of the Interaction Test Coverage Problem as an Integer Program
A.W. Williams, R. L. Probert
University of Ottawa, Canada
 
15:15 - 15:40
Coffee Break
 
15:40 - 16:40
Session VIII: Testing Distributed Systems
 
Principles of Distributed Test Synthesis based on True-concurrency Models
C. Jard
IRISA/CNRS Rennes, France
 
Fault Detection within a Component of a System of Communicating FSMs
A. Cavalli, S. Prokopenko, N. Yevtushenko
INT Evry, France
Tomsk State University, Russia
 
17:00
Social Event
Excursion to Park Sanssouci Potsdam

Friday, March 22
09:00 - 10:00
Invited Talk
Hardware/Software Integration Testing for the new Airbus Aircraft Families
Jan Peleska
 
10:00 - 10:20
Coffee Break
 
10:20 - 11:50
Session IX: FSM-based Testing
 
Test Generation for CEFSM Combining Specification and Fault Coverage
S. Boroday, A. Petrenko, R. Groz, Y.-M. Quemener
CRIM Montreal, Canada
France Telecom, France
 
FSM-based Re-Testing Methods
K. El-Fakih, N. Yevtushenko, G. v. Bochmann
University of Ottawa, Canada
Tomsk State University, Russia
 
A New Approach To Checking Sequence Generation for Finite State Machines
B. Serdar, K.-C. Tai
North Carolina State University, USA
 
11:50 - 12:10
Coffee Break
 
12:10 - 13:40
Session X: TTCN-3
 
Timed TTCN-3 - A Real-time Extension for TTCN-3
Z. R. Dai, J. Grabowski, H. Neukirchen
University of Luebeck, Germany
 
Implementation of TTCN-3 Test Systems using the TRI
S. Schulz, T. Vassiliou-Gioles
Nokia Research Center, Finland
Testing Technologies IST GmbH, Germany
 
A Definition and Utilization of OMG IDL to TTCN-3 Mappings
M. Ebner, A. Yin, M.Li
University of Luebeck, Germany
FOKUS Berlin, Germany
University of Munich, Germany
 
13:40 - 14:00
Closing