Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Colin Willcock |
New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Rafal Artych, Krzysztof M. Brzezinski |
External Conformance Requirements: Concepts, Methods and Tools.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Bernd Baumgarten, Olaf Henniger |
Testability with Unbounded Testing Strategies.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Yongbum Park, Myungchul Kim 0001, Sungwon Kang |
Conformance Testing of Multiprotocol IUTs.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Maria Törö |
Decision on Tester Configuration for Multiparty Testing.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Roland Gecse, Péter Krémer |
Automated Test of TCP Congestion Control Algorithms.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink |
Formal Test Automation: A Simple Experiment.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Jan de Meer, Son T. Vuong |
The Challenge of QoS Verification.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | I. Koufareva, Alexandre Petrenko, Nina Yevtushenko 0001 |
Test Generation Driven by User-defined Fault Models.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Nina Yevtushenko 0001, Ana R. Cavalli, Ricardo Anido |
Test Suite Minimization for Embedded Nondeterministic Finite State Machines.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak |
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Theofanis Vassiliou-Gioles, Ina Schieferdecker, Marc Born, Mario Winkler, Mang Li |
Configuration and Execution Support for Distributed Tests.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Peter Csurgay, Mazen Malek |
Performance Testing at Early Design Phases.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Robert L. Probert, Alan W. Williams |
Fast Functional Test Generation Using an SDL Model.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Jens Grabowski, Dieter Hogrefe |
Towards the Third Edition of TTCN.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Andreas Ulrich, Hartmut König |
Architectures for Testing Distributed Systems.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Tibor Csöndes, Balázs Kotnyek |
Automated Test Case Selection Based on Subpurposes.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Ana R. Cavalli |
Different Approaches to Protocol and Service Testing.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli |
Generating Test Cases for a Timed I/O Automaton Model.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Juhani Latvakoski, H. Honka |
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq |
Principles and Tools for Testing Open Distributed Systems.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Marco Hollenberg |
Test Templates for Test Generation.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay (eds.) |
Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Sungwon Kang, Youngsoo Seo, Deukyoon Kang, Mijeong Hong, Junhwan Yang, Ilkook Koh, Jaehwi Shin, Sangjo Yoo, Myungchul Kim 0001 |
Development and Application of ATM Protocol Conformance Test System.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Ji He, Kenneth J. Turner |
Protocol-Inspired Hardware Testing.  |
IWTCS  |
1999 |
DBLP BibTeX RDF |
|
1 | Mahamat Guiagoussou, Michel Kadoch |
TMN and Telecommunication Networks Testing.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Tomohiko Ogishi, Akira Idoue, Toshihiko Kato, Kenji Suzuki 0003 |
Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 (eds.) |
Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Hakim Kahlouche, César Viho, Massimo Zendri |
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | M. Anlauf |
Programming Service Tests with TTCN.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | C. Desroches, Mang Li, Stephan Pietsch, Axel Rennoch, Ina Schieferdecker, Theofanis Vassiliou-Gioles |
Test Suite Migration Experiences for B-ISUP and B-MTP.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Nina Yevtushenko 0001, Ana R. Cavalli, Luiz A. Paula Lima Jr. |
Test Suite Minimization for Testing in Context.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Andreas Ulrich, V. Chapenko |
Using Partial-Orders for Detecting Faults in Concurrent Systems.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux |
Testing Temporal Logic Properties in Distributed Systems.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Jinsong Zhu, Son T. Vuong, Samuel T. Chanson |
Evaluation of Test Coverage for Embedded System Testing.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel |
Conformance Testing of a Multimedia System Using PHACT.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Bernd Baumgarten, H. Wiland |
Qualitative Notions of Testability.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Michael Schmitt 0002, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe |
Autolink - Putting SDL-Based Test Generation Into Practice.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Roland Gecse |
Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Igor S. Grunsky |
Testing of Automata: From Experiments to Representations by Means of Fragments.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Anders Ek |
Testing and Test Generation: State of the Art and Future Expectations.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Jaehwi Shin, Sungwon Kang |
Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Thomas Walter, Ina Schieferdecker, Jens Grabowski |
Test Architectures for Distributed Systems: State of the Art and Beyond.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Sergiy Boroday |
Distinguishing Tests for Nondeterministic Finite State Machines.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico |
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Lex Heerink, Jan Tretmans |
Factorized Test Generation for Multi-Input/Output Transition Systems.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|
1 | Q. M. Tan, Alexandre Petrenko |
Test Generation for Specifications Modeled by Input/Output Automata.  |
IWTCS  |
1998 |
DBLP BibTeX RDF |
|