default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. TestCom 2002: Berlin, Germany
- Ina Schieferdecker, Hartmut König, Adam Wolisz:
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
Keynote Speech I - Abstract
- Andreas Gehring:
Testing of IP Services & Applications in a Service Provider Environment. TestCom 2002: 17-
Testing TCP/IP
- Tomohiko Ogishi, Toru Hasegawa, Toshihiko Kato, Kenji Suzuki:
A TCP Test System Specifying only Exceptional Packet Sequences. TestCom 2002: 21-38 - Carlos Veciana-Nogués, Albert Cabellos-Aparicio, Jordi Domingo-Pascual, Josep Solé-Pareta:
Verifying IP Meters from Sampled Measurements. TestCom 2002: 39-54 - Carlos Parada, Jorge Carapinha, Francisco Fontes, Solange Rito Lima, Paulo Carvalho:
Testing IP Differentiated Services Implementations. TestCom 2002: 55-
Invited Talk I - Abstract
- Robert V. Binder:
Achieving High Reliability for Ubiquitous Information Technology. TestCom 2002: 75-
Testing Internet Systems
- Jan Bredereke, Bernd-Holger Schlingloff:
An Automated, Flexible Testing Environment for UMTS. TestCom 2002: 79-94 - Mikael Marche, Yves-Marie Quemener, Roland Groz:
Testing Mobile Agents. TestCom 2002: 95-110 - Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann:
Testing Access to External Information Sources in a Mediator Environment. TestCom 2002: 111-
Industrial Session I
- Ousmane Koné:
Compliance of Wireless Application Protocols. TestCom 2002: 129-138 - Georg Rößler, Thomas Steinert:
A Flexible Traffic Generator for Testing PABX and Call Center Performance. TestCom 2002: 139-
Interoperability Testing
- Soonuk Seol, Myungchul Kim, Samuel T. Chanson:
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. TestCom 2002: 151-168 - Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi:
Automated Generation of Interoperability Tests. TestCom 2002: 169-
Keynote Speech II - Abstract
- Ari Ahtiainen:
Applying Formal Method in Mobile Protocol Testing. TestCom 2002: 187-
Industrial Session II
- János Zoltán Szabó:
Experiences of TTCN-3 Test Executor Development. TestCom 2002: 191-200 - Wolfgang Sachse:
Position Statement: Making TTCN-3 testing a success. TestCom 2002: 201-208 - Tapio Heikkilä, Petri Tenno, Jarmo Väänänen:
Position Statement: Testing Automation with Computer Aided Test Case Generation. TestCom 2002: 209-
Test Automation
- René G. de Vries, Axel Belinfante, Jan Feenstra:
Automated Testing in Practice: The Highway Tolling System. TestCom 2002: 219-234 - Endre Horváth:
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation. TestCom 2002: 235-
Test Generation and Selection
- Richard Castanet, Davy Rouillard:
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. TestCom 2002: 249-266 - Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans:
Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282 - Alan W. Williams, Robert L. Probert:
Formulation of the Interaction Test Coverage Problem as an Integer Program. TestCom 2002: 283-
Testing Distributed Systems
- Claude Jard:
Principles of Distributed Test Synthesis based on True-concurrency Models. TestCom 2002: 301-316 - Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko:
Fault Detection within a Component of a System of Communicating FSMs. TestCom 2002: 317-
Invited Talk II
- Jan Peleska:
Hardware/Software Integration Testing for the new Airbus Aircraft Families. TestCom 2002: 335-
FSM-based Testing
- Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener:
Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom 2002: 355-372 - Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-based Re-Testing Methods. TestCom 2002: 373-390 - Burak Serdar, Kuo-Chung Tai:
A New Approach To Checking Sequence Generation for Finite State Machines. TestCom 2002: 391-
TTCN-3
- Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen:
Timed TTCN-3 - A Real-time Extension for TTCN-3. TestCom 2002: 407-424 - Stephan Schulz, Theofanis Vassiliou-Gioles:
Implementation of TTCN-3 Test Systems using the TRI. TestCom 2002: 425-442 - Michael Ebner, Aihong Yin, Mang Li:
A Definition and Utilization of OMG IDL to TTCN-3 Mappings. TestCom 2002: 443-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
