14. TestCom 2002: Berlin, Germany

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-

Last update Tue May 21 00:03:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page