13. TestCom 2000: Ottawa, Ontario, Canada

@proceedings{DBLP:conf/pts/2000,
  editor    = {Hasan Ural and
               Robert L. Probert and
               Gregor von Bochmann},
  title     = {Testing of Communicating Systems: Tools and Techniques, IFIP
               TC6/WG6.1 13$^{\mbox{th}}$ International Conference on Testing Communicating Systems (TestCom
               2000), August 29 - September 1, 2000, Ottawa, Canada},
  booktitle = {TestCom},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {176},
  year      = {2000},
  isbn      = {0-7923-7921-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Test Suite Coverage and Verification

• Claude Jard, Thierry Jéron, Pierre Morel: Verification of Test Suites. 3-18 BibTeX
• Daniel Amyot, Luigi Logrippo: Structural Coverage For LOTOS - a Probe Insertion Technique. 19-34 BibTeX
• Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko: Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. 35- BibTeX

Testability and Test Feasibility

• Alan W. Williams: Determination of Test Configurations for Pair-Wise Interaction Coverage. 59-74 BibTeX
• Ina Schieferdecker, Mang Li, Axel Rennoch: Incremental Testing at System Reference Points. 75-90 BibTeX
• Ali Y. Duale, M. Ümit Uyar: Generation of Feasible Test Sequences for EFSM Models. 91- BibTeX

Interoperability Testing of Internet Protocols

• Tibor Csöndes, Sarolta Dibuz, Péter Krémer: Experiments on IPv6 Testing. 113-126 BibTeX
• Jiwon Ryu, Myungchul Kim, Sungwon Kang, Soonuk Seol: Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques. 127-142 BibTeX
• Toshihiko Kato, Tomohiko Ogishi, Hiroyuki Shinbo, Yutaka Miyake, Akira Idoue, Kenji Suzuki: Interoperability Testing System of TCP/IP Based Systems in Operational Environment. 143- BibTeX

TTCN Evolution and Applications

• Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe: On the Design of the New Testing Language TTCN-3. 161-176 BibTeX
• Roland Gecse, Péter Krémer, János Zoltán Szabó: HTTP Performance Evaluation with TTCN. 177-192 BibTeX
• Alexey Mednonogov, Hannu Kari, Olli Martikainen, Jari Malinen: Conformance Testing of CORBA Services Using TTCN. 193- BibTeX

Test Automation and Industrial Testing Experience

• Lex Heerink, Jan Feenstra, Jan Tretmans: Formal Test Automation: The Conference Protocol with PHACT. 211-220 BibTeX
• Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries: Formal Test Automation: The Conference Protocol with TGV/TORX. 221-228 BibTeX
• Endre Horváth, Axel Manthey: Functional Testing GPRS Support Nodes Using TTCN. 229-238 BibTeX
• Giulio Maggiore, Silvio Valeau, José Pons: The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance. 239- BibTeX

Real-Time Testing

• Alexandre Petrenko, Andreas Ulrich: Verification and Testing of Concurrent Systems with Action Races. 261-280 BibTeX
• Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger: An Approach for Testing Real Time Protocol Entities. 281-300 BibTeX
• Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale: Test Generation in the Presence of Conflicting Timers. 301- BibTeX