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 |
|