14. TestCom 2002: Berlin, Germany

Ina Schieferdecker, Hartmut König, Adam Wolisz (Eds.): Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002. IFIP Conference Proceedings 210 Kluwer 2002, ISBN 0-7923-7695-1

@proceedings{DBLP:conf/pts/2002,
  editor    = {Ina Schieferdecker and
               Hartmut K{\"o}nig and
               Adam Wolisz},
  title     = {Testing of Communicating Systems XIV, Applications to Internet
               Technologies and Services, Proceedings of the IFIP 14th International
               Conference on Testing Communicating Systems - TestCom 2002, Berlin,
               Germany, March 19-22, 2002},
  booktitle = {TestCom},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {210},
  year      = {2002},
  isbn      = {0-7923-7695-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Speech I - Abstract

Andreas Gehring: Testing of IP Services & Applications in a Service Provider Environment. 17-

Testing TCP/IP

Tomohiko Ogishi, Toru Hasegawa, Toshihiko Kato, Kenji Suzuki: A TCP Test System Specifying only Exceptional Packet Sequences. 21-38
Carlos Veciana-Nogués, Albert Cabellos-Aparicio, Jordi Domingo-Pascual, Josep Solé-Pareta: Verifying IP Meters from Sampled Measurements. 39-54
Carlos Parada, Jorge Carapinha, Francisco Fontes, Solange Rito Lima, Paulo Carvalho: Testing IP Differentiated Services Implementations. 55-

Invited Talk I - Abstract

Robert V. Binder: Achieving High Reliability for Ubiquitous Information Technology. 75-

Testing Internet Systems

Jan Bredereke, Bernd-Holger Schlingloff: An Automated, Flexible Testing Environment for UMTS. 79-94
Mikael Marche, Yves-Marie Quemener, Roland Groz: Testing Mobile Agents. 95-110
Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann: Testing Access to External Information Sources in a Mediator Environment. 111-

Industrial Session I

Ousmane Koné: Compliance of Wireless Application Protocols. 129-138
Georg Rößler, Thomas Steinert: A Flexible Traffic Generator for Testing PABX and Call Center Performance. 139-

Interoperability Testing

Soonuk Seol, Myungchul Kim, Samuel T. Chanson: Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. 151-168
Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi: Automated Generation of Interoperability Tests. 169-

Keynote Speech II - Abstract

Ari Ahtiainen: Applying Formal Method in Mobile Protocol Testing. 187-

Industrial Session II

János Zoltán Szabó: Experiences of TTCN-3 Test Executor Development. 191-200
Wolfgang Sachse: Position Statement: Making TTCN-3 testing a success. 201-208
Tapio Heikkilä, Petri Tenno, Jarmo Väänänen: Position Statement: Testing Automation with Computer Aided Test Case Generation. 209-

Test Automation

René G. de Vries, Axel Belinfante, Jan Feenstra: Automated Testing in Practice: The Highway Tolling System. 219-234
Endre Horváth: Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation. 235-

Test Generation and Selection

Richard Castanet, Davy Rouillard: Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. 249-266
Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. 267-282
Alan W. Williams, Robert L. Probert: Formulation of the Interaction Test Coverage Problem as an Integer Program. 283-

Testing Distributed Systems

Claude Jard: Principles of Distributed Test Synthesis based on True-concurrency Models. 301-316
Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko: Fault Detection within a Component of a System of Communicating FSMs. 317-

Invited Talk II

Jan Peleska: Hardware/Software Integration Testing for the new Airbus Aircraft Families. 335-

FSM-based Testing

Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener: Test Generation for CEFSM Combining Specification and Fault Coverage. 355-372
Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-based Re-Testing Methods. 373-390
Burak Serdar, Kuo-Chung Tai: A New Approach To Checking Sequence Generation for Finite State Machines. 391-

TTCN-3

Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen: Timed TTCN-3 - A Real-time Extension for TTCN-3. 407-424
Stephan Schulz, Theofanis Vassiliou-Gioles: Implementation of TTCN-3 Test Systems using the TRI. 425-442
Michael Ebner, Aihong Yin, Mang Li: A Definition and Utilization of OMG IDL to TTCN-3 Mappings. 443-