TOPIC:

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

TestCom 2002
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
www.fokus.fhg.de/events/testcom2002/Regi...on/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