MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Testing IN Protocol Implementation." – sorted by Relevance.

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

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

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

ATOM

Testing Protocol Implementation Robustness
by John Linwood Griffin — 1999
…, Wisconson Abstract © 1999, John Linwood Griffin Testing Protocol Implementation Robustness We describe…
Cited by 1 (0 self) – Add To MetaCart

ORCHESTRA: A Probing and Fault Injection Environment for Testing Protocol Implementations
by Scott Dawson, Farnam Jahanian, Todd Mitton — 1996 — Proceedings of the IEEE International Computer Performance and Dependability Symposium, Urbana-Champaign, IL
…ORCHESTRA: A Probing and Fault Injection Environment for Testing Protocol Implementations Scott…
Cited by 5 (0 self) – Add To MetaCart

Abstract Testing Security Properties of Protocol Implementations – a Machine Learning Based
by Guoqiang Shu
…Abstract Testing Security Properties of Protocol Implementations – a Machine Learning Based…
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 purpose of this paper is to explain in which way the problem of testing protocol implementations…
Cited by 50 (9 self) – Add To MetaCart

Testing deterministic implementations from nondeterministic FSM specifications
by A. Petrenko, N. Yevtushenko, G. V. Bochmann — 1996 — In Testing of Communicating Systems, IFIP TC6 9th International Workshop on Testing of Communicating Systems
…Testing deterministic implementations from nondeterministic FSM specifications A. Petrenko 1 , N…
Cited by 14 (1 self) – Add To MetaCart

VirtualWire: A Fault Injection and Analysis Tool for Network Protocols
by Pradipta De, Anindya Neogi, Tzi-cker Chiueh — 2003 — In Proceedings of International Conference on Distributed Computing Systems
… for testing protocol implementations is direct code instrumentation to trigger specic states in the code…
Cited by 2 (2 self) – Add To MetaCart

Test Selection Based on Finite State Models
by Fujiwara Bochmann Khendek, S. Fujiwara, G. V. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi — 1991 — IEEE Transactions on Software Engineering
…]. The test cases are intended to determine whether a given protocol implementation satisfies all properties…
Add To MetaCart

Test Architectures for Distributed Systems - State of the Art and Beyond
by T. Walter, I. Schieferdecker, J. Grabowski — 1998
… in the conformance testing methodology and framework the focus is on testing protocol implementations, the generic…
Cited by 10 (4 self) – Add To MetaCart

Derivation of Useful Execution Trees r from LOTOS Specifications by Using an Interprete
by Renaud Guillemot — 1988 — Formal Description Techniques, North-Holland, 1989. (Proc. of the first FORTE International Conference
… ABSTRACT s f A contribution towards the development of formal methodologie or testing protocol…
Cited by 5 (1 self) – Add To MetaCart

Monarch: A tool to emulate transport protocol flows over the Internet at large
by Andreas Haeberlen, Krishna P. Gummadi, Marcel Dischinger, Stefan Saroiu — 2006 — In Proceedings of IMC’06, Rio de Janeiro
…) testing protocol implementations under a wide range of experimental conditions. Categories and Subject…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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