Fault tolerant and fault testable hardware design
Fault tolerant and fault testable hardware design
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
On ferry clip approaches in protocol testing
Computer Networks and ISDN Systems
Strategic Testing Environment with Formal Description Techniques
IEEE Transactions on Computers - Special issue on protocol engineering
A Well-Defined Estelle Specification for the Automatic Test Generation
IEEE Transactions on Computers - Special issue on protocol engineering
On sufficient conditions for an efficient protocol conformance test generation technique based on rural Chinese postman problem
Estelle-based test generation tool
Computer Communications
Experiences with Estelle, LOTOS and SDL: a protocol implementation experiment
Computer Networks and ISDN Systems - Protocol specification, testing and verification
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
A new protocol conformance test generation method and experimental results
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
NETWORKS '92 Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture, and Applications. on Computer networks, architecture and applications
FAITH, a general purpose protocol test system for ISDN
Computer Networks and ISDN Systems
IEEE/ACM Transactions on Networking (TON)
Experiences with a random test driver
Computer Networks and ISDN Systems
Industrial and academic protocol testing: the gap and the means of convergence
Computer Networks and ISDN Systems
Experience in test generation using multi-level approach
Computer Networks and ISDN Systems
How could research on testing of communicating systems become more industrially relevant?
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Performance Characteristics of Portable ISO/OSI Protocol Implementations
Proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV
Error detection with multiple observers
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Protocol Conformance Testing Using Multiple UIO Sequences
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Approaches utilizing segment overlap to minimize test sequences
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Protocol Conformance Testing by Discriminating UIO Sequences
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Improvements on UIO Sequence Generation and Partial UIO Sequences
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
A Metric Based Theory of Test Selection and Coverage
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
SELEXPERT - A Knowledge-based Tool for Test Case Selection
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Experience with Formal Methods in Protocol Development
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
TENT: Test Sequence Generation Tool for Communication Systems
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
On Test Coverage Metrics for Communication Protocols
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Testing Non-Deterministic State Machines with Fault Coverage
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Interactive Test Generation from LOTOS Specifications
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Automated Test Case Selection Based on Test Coverage Metrics
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Experiences with Computer Aided Test Suite Generation
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
The UBC Protocol Testing Environment
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Fault Coverage of UIO-based Methods for Protocol Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Graph Theory With Applications
Graph Theory With Applications
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Minimizing the number of inputs while applying adaptive test cases
Information Processing Letters
A passive testing approach based on invariants: application to the WAP
Computer Networks and ISDN Systems
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Exploring alternatives for transition verification
Journal of Systems and Software
A passive testing approach based on invariants: application to the WAP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Minimizing the number of inputs while applying adaptive test cases
Information Processing Letters
Fast testing of critical properties through passive testing
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Reducing test sequence length using invertible sequences
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Interaction faults caused by third-party external systems: a case study and challenges
ISAS'08 Proceedings of the 5th international conference on Service availability
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
Fault coverage of Constrained Random Test Selection for access control: A formal analysis
Journal of Systems and Software
Automatically complementing protocol specifications from network traces
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Conditions for avoiding controllability problems in distributed testing
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Passive testing – a constrained invariant checking approach
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
A study on the extended unique input/output sequence
Information Sciences: an International Journal
Network securing against threatening requests
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Computers in Biology and Medicine
A finite transition model for security protocol verification
Proceedings of the 6th International Conference on Security of Information and Networks
Using transition systems to model and verify the implementation of security protocol
Proceedings of the 6th International Conference on Security of Information and Networks
Hi-index | 0.00 |
Academic research has made significant advances in the generation of test sequences from formal specifications, and in the development of computer-aided test tools, with the aim of improving the effectiveness of protocol testing. However, this state-of-the-art research is not necessarily state-of-the-practice; these methods and tools are seldom used in the computer and communications industries. There is a big gap between testing practice and research results published in journals and reported at conference. To help the industrialization of academic techniques, empirical studies and a new orientation towards real issues need to be given higher priority by researchers, and real-life test coverage and field experience need to be more frequently reported [66]. This paper presents a literature survey of communication protocol testing. We have focused our survey on the following five areas: test sequence generation methods, test coverage, fault model and prediction, test tools, and experience reports.