MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "testing Communication Protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

57 documents found, showing 1 through 10. Next 10 →

ATOM

Côte de Resyste -- Automatic model-based testing of communication protocols
by Axel Belinfante, Ed Brinksma, Jan Feenstra, Jan Tretmans, René de Vries
…1. Software Testing Côte de Resyste Automatic model-based testing of communication protocols Axel…
Add To MetaCart

A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication
by T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das — 2000 — IEEE Trans. Comput
… to an Assignment Problem in the Conformance Testing of Communication Protocols T. Ramalingom, Krishnaiyan…
Cited by 1 (0 self) – Add To MetaCart

Testing Trace Equivalence for Labeled Transition Systems
by Q.M. Tan, A. Petrenko, G. Luo, G. v. Bochmann — 1995
… the problem on conformance testing of communication protocols which are modeled by labeled transition systems…
Cited by 2 (1 self) – Add To MetaCart

Protocol Testing: Review of Methods and Relevance for Software Testing
by G. V. Bochmann, Re Petrenko, Gregor V. Bochmann, Re Petrenko — 1994 — in Proceedings of the 1994 International Symposium on Software Testing and Analysis
… the existing hardware and software testing methods would be adequate for the testing of communication protocols…
Cited by 50 (9 self) – Add To MetaCart

TTCN-3 Test Case Generation from Message Sequence Charts
by Michael Ebner — 2004 — In Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL
…] has been applied successfully to functional testing of communication protocols for years. 2 Unified…
Cited by 2 (0 self) – Add To MetaCart

Monitoring and Modelling of a Distributed ISDN Test System
by Dussa-Zieger Ettl, M. Ettl, R. Hofmann — 1995 — In Proceedings Euromicro Workshop on Parallel and Distributed Processing
…H 91058 Erlangen, Germany. 90411 Nurnberg, Germany. Abstract Conformance testing of communication…
Cited by 1 (1 self) – Add To MetaCart

A Test Generation Tool for Specifications in the Form of State Machines
by Q.M. Tan, A. Petrenko, G. V. Bochmann — 1996 — in Proceedings of the International Communications Conference
… phases of system developments, for example, conformance testing of communication protocols. Communication…
Cited by 8 (2 self) – Add To MetaCart

Modeling Basic LOTOS by FSMs for Conformance Testing
by Q.M. Tan, A. Petrenko, G. V. Bochmann — 1995 — In IFIP Protocol Specification, Testing, and Verification XIIII
…. Introduction Conformance testing for communication protocols is one of the essential and challenging issues…
Cited by 7 (5 self) – Add To MetaCart

Protocol Specification Using Parameterized Communicating Extended Finite State Machines - A Case
by David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udoya Shankar — 1996 — In Int. Conf. on Network Protocols (ICNP ’96
… specifications are indispensable for computeraided verification and testing of communication protocols. However…
Cited by 2 (0 self) – Add To MetaCart

Information Mapping Conformance Test Tools
by Boonserm (serm Kulvatunyou, Nenad Ivezic, Jungyub Woo, Jaewook Kim, Hyunbo Cho, Jaeman Lee, Pat Snack
… to test the communication protocol stack. This extension not only maintains the IIC architecture but also…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB