Abstract is missing.
- Verification of Test SuitesClaude Jard, Thierry Jéron, Pierre Morel. 3-18
- Structural Coverage For LOTOS - a Probe Insertion TechniqueDaniel Amyot, Luigi Logrippo. 19-34
- Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMsAna R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko. 35
- Determination of Test Configurations for Pair-Wise Interaction CoverageAlan W. Williams. 59-74
- Incremental Testing at System Reference PointsIna Schieferdecker, Mang Li, Axel Rennoch. 75-90
- Generation of Feasible Test Sequences for EFSM ModelsAli Y. Duale, M. Ümit Uyar. 91
- Experiments on IPv6 TestingTibor Csöndes, Sarolta Dibuz, Péter Krémer. 113-126
- Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design TechniquesJiwon Ryu, Myungchul Kim, Sungwon Kang, Soonuk Seol. 127-142
- Interoperability Testing System of TCP/IP Based Systems in Operational EnvironmentToshihiko Kato, Tomohiko Ogishi, Hiroyuki Shinbo, Yutaka Miyake, Akira Idoue, Kenji Suzuki. 143
- On the Design of the New Testing Language TTCN-3Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe. 161-176
- HTTP Performance Evaluation with TTCNRoland Gecse, Péter Krémer, János Zoltán Szabó. 177-192
- Conformance Testing of CORBA Services Using TTCNAlexey Mednonogov, Hannu Kari, Olli Martikainen, Jari Malinen. 193
- Formal Test Automation: The Conference Protocol with PHACTLex Heerink, Jan Feenstra, Jan Tretmans. 211-220
- Formal Test Automation: The Conference Protocol with TGV/TORXLydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries. 221-228
- Functional Testing GPRS Support Nodes Using TTCNEndre Horváth, Axel Manthey. 229-238
- The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type AcceptanceGiulio Maggiore, Silvio Valeau, José Pons. 239
- Verification and Testing of Concurrent Systems with Action RacesAlexandre Petrenko, Andreas Ulrich. 261-280
- An Approach for Testing Real Time Protocol EntitiesAhmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger. 281-300
- Test Generation in the Presence of Conflicting TimersMariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale. 301