13. TestCom 2000: Ottawa, Ontario, Canada
Hasan Ural, Robert L. Probert, Gregor von Bochmann (Eds.): Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. Kluwer 2000 IFIP Conference Proceedings ISBN 0-7923-7921-7
Test Suite Coverage and Verification
- Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko: Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. 35-
Testability and Test Feasibility
- Alan W. Williams: Determination of Test Configurations for Pair-Wise Interaction Coverage. 59-74
Interoperability Testing of Internet Protocols
- Jiwon Ryu, Myungchul Kim, Sungwon Kang, Soonuk Seol: Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques. 127-142
- Toshihiko Kato, Tomohiko Ogishi, Hiroyuki Shinbo, Yutaka Miyake, Akira Idoue, Kenji Suzuki: Interoperability Testing System of TCP/IP Based Systems in Operational Environment. 143-
TTCN Evolution and Applications
- Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe: On the Design of the New Testing Language TTCN-3. 161-176
- Alexey Mednonogov, Hannu Kari, Olli Martikainen, Jari Malinen: Conformance Testing of CORBA Services Using TTCN. 193-
Test Automation and Industrial Testing Experience
- Lex Heerink, Jan Feenstra, Jan Tretmans: Formal Test Automation: The Conference Protocol with PHACT. 211-220
- 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
- Giulio Maggiore, Silvio Valeau, José Pons: The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance. 239-
Real-Time Testing
- Alexandre Petrenko, Andreas Ulrich: Verification and Testing of Concurrent Systems with Action Races. 261-280
- Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger: An Approach for Testing Real Time Protocol Entities. 281-300
- Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale: Test Generation in the Presence of Conflicting Timers. 301-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team