|
|
Conferences in DBLP
- Andreas Gehring
Testing of IP Services & Applications in a Service Provider Environment. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:17-0 [Conf]
- Tomohiko Ogishi, Toru Hasegawa, Toshihiko Kato, Kenji Suzuki
A TCP Test System Specifying only Exceptional Packet Sequences. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:21-38 [Conf]
- Carlos Veciana-Nogués, Albert Cabellos-Aparicio, Jordi Domingo-Pascual, Josep Solé-Pareta
Verifying IP Meters from Sampled Measurements. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:39-54 [Conf]
- Carlos Parada, Jorge Carapinha, Francisco Fontes, Solange Rito Lima, Paulo Carvalho
Testing IP Differentiated Services Implementations. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:55-0 [Conf]
- Robert V. Binder
Achieving High Reliability for Ubiquitous Information Technology. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:75-0 [Conf]
- Jan Bredereke, Bernd-Holger Schlingloff
An Automated, Flexible Testing Environment for UMTS. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:79-94 [Conf]
- Mikael Marche, Yves-Marie Quemener, Roland Groz
Testing Mobile Agents. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:95-110 [Conf]
- Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann
Testing Access to External Information Sources in a Mediator Environment. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:111-0 [Conf]
- Ousmane Koné
Compliance of Wireless Application Protocols. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:129-138 [Conf]
- Georg Rößler, Thomas Steinert
A Flexible Traffic Generator for Testing PABX and Call Center Performance. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:139-0 [Conf]
- Soonuk Seol, Myungchul Kim, Samuel T. Chanson
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:151-168 [Conf]
- Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi
Automated Generation of Interoperability Tests. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:169-0 [Conf]
- Ari Ahtiainen
Applying Formal Method in Mobile Protocol Testing. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:187-0 [Conf]
- János Zoltán Szabó
Experiences of TTCN-3 Test Executor Development. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:191-200 [Conf]
- Wolfgang Sachse
Position Statement: Making TTCN-3 testing a success. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:201-208 [Conf]
- Tapio Heikkilä, Petri Tenno, Jarmo Väänänen
Position Statement: Testing Automation with Computer Aided Test Case Generation. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:209-0 [Conf]
- René G. de Vries, Axel Belinfante, Jan Feenstra
Automated Testing in Practice: The Highway Tolling System. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:219-234 [Conf]
- Endre Horváth
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:235-0 [Conf]
- Richard Castanet, Davy Rouillard
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:249-266 [Conf]
- Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans
Test Selection, Trace Distance and Heuristics. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:267-282 [Conf]
- Alan W. Williams, Robert L. Probert
Formulation of the Interaction Test Coverage Problem as an Integer Program. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:283-0 [Conf]
- Claude Jard
Principles of Distributed Test Synthesis based on True-concurrency Models. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:301-316 [Conf]
- Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
Fault Detection within a Component of a System of Communicating FSMs. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:317-0 [Conf]
- Jan Peleska
Hardware/Software Integration Testing for the new Airbus Aircraft Families. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:335-0 [Conf]
- Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
Test Generation for CEFSM Combining Specification and Fault Coverage. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:355-372 [Conf]
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
FSM-based Re-Testing Methods. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:373-390 [Conf]
- Burak Serdar, Kuo-Chung Tai
A New Approach To Checking Sequence Generation for Finite State Machines. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:391-0 [Conf]
- Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
Timed TTCN-3 - A Real-time Extension for TTCN-3. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:407-424 [Conf]
- Stephan Schulz, Theofanis Vassiliou-Gioles
Implementation of TTCN-3 Test Systems using the TRI. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:425-442 [Conf]
- Michael Ebner, Aihong Yin, Mang Li
A Definition and Utilization of OMG IDL to TTCN-3 Mappings. [Citation Graph (0, 0)][DBLP]
TestCom, 2002, pp:443-0 [Conf]
|
