The C programming language
A protocol test generation procedure
Computer Networks and ISDN Systems
Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
On Asymptotic Estimates in Switching and Automata Theory
Journal of the ACM (JACM)
Numerical Mathematics and Computing
Numerical Mathematics and Computing
Data Structures and Algorithms
Data Structures and Algorithms
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Executable logic specifications for protocol service interfaces
IEEE Transactions on Software Engineering
Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Probabilistic testing of protocols
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Experience with an Estelle development system
Conference proceedings on Formal methods in software development
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
On the Complexity of Generating Optimal Test Sequences
IEEE Transactions on Software Engineering
Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Optimal length test sequence generation using distinguishing sequences
IEEE/ACM Transactions on Networking (TON)
On testing hierarchies for protocols
IEEE/ACM Transactions on Networking (TON)
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A reduced test suite for protocol conformance testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synchronizable test sequences based on multiple UIO sequences
IEEE/ACM Transactions on Networking (TON)
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
An approach to verification and validation of a reliable multicasting protocol
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Target-sensitive construction of diagnostic programs for procedure calling sequence generators
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
Efficient computation of unique input/output sequences in finite-state machines
IEEE/ACM Transactions on Networking (TON)
IEEE Transactions on Computers
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Experiences in automating the testing of SS7 signalling transfer points
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification-based Testing for Gui-based Applications
Software Quality Control
Scientific Computing in the Cloud
IEEE Design & Test
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Reduced Length Checking Sequences
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
A survey of communication protocol testing
Journal of Systems and Software
Expressing Graphical User's Input for Test Specifications
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Testing the C set++ collection class library
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Observation Inaccuracy in Conformance Testing with Multiple Testers
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Diagnostic Tests for Communicating Nondeterministic Finite State Machines
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Supervisors for Testing Non-Deterministically Specified Systems
ITC '97 Proceedings of the 1997 IEEE International Test Conference
Supervision of real-time software systems using optimistic path prediction and rollbacks
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Automatic failure detection with Conditional-Belief supervisors
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
A dynamic protocol conformance test method
Journal of Systems and Software
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
IEEE Transactions on Software Engineering
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Using a minimal number of resets when testing from a finite state machine
Information Processing Letters
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
Generating optimal distinguishing sequences with a model checker
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
EXPERIMENTAL EVALUATION OF FSM-BASED TESTING METHODS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Proceedings of the 2006 ACM symposium on Applied computing
Automated testing of stochastic systems: a statistically grounded approach
Proceedings of the 2006 international symposium on Software testing and analysis
Test sequence generation for controller verification and test with high coverage
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Advanced method for cryptographic protocol verification
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Evolutionary generation of unique input/output sequences for class behavioral testing
Computers & Mathematics with Applications
PTFW: a protocol testing framework for wireless sensor networks
Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Testing a probabilistic FSM using interval estimation
Computer Networks: The International Journal of Computer and Telecommunications Networking
Reducing test sequence length using invertible sequences
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
Angluin style finite state machine inference with non-optimal counterexamples
Proceedings of the First International Workshop on Model Inference In Testing
Formal testing of timed and probabilistic systems
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Bounded sequence testing from non-deterministic finite state machines
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Conditions for avoiding controllability problems in distributed testing
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
An improved conformance testing method
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A study on the extended unique input/output sequence
Information Sciences: an International Journal
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Research: Construction of checking sequences based on characterization sets
Computer Communications
Research: TESTGEN: An environment for protocol test suite generation and selection
Computer Communications
Research: Synchronizable test sequence generation using UIO sequences
Computer Communications
Testing in context: framework and test derivation
Computer Communications
On testing and diagnosis of communication protocols based on the FSM model
Computer Communications
A complete test sequence using cyclic sequence for conformance testing
Computer Communications
Test case generation of a communication protocol by an adaptive state exploration
Computer Communications
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Test generation for interworking systems
Computer Communications
Test selection for a nondeterministic FSM
Computer Communications
Conformance testing to real-time communications systems
Computer Communications
Science of Computer Programming
Runtime analysis of the (1+1) EA on computing unique input output sequences
Information Sciences: an International Journal
| Hi-index | 0.02 |
The authors present a detailed study of four formal methods (T-, U-, D-, and W-methods) for generating test sequences for protocols. Applications of these methods to the NBS Class 4 Transport Protocol are discussed. An estimation of fault coverage of four protocol-test-sequence generation techniques using Monte Carlo simulation is also presented. The ability of a test sequence to decide whether a protocol implementation conforms to its specification heavily relies on the range of faults that it can capture. Conformance is defined at two levels, namely, weak and strong conformance. This study shows that a test sequence produced by T-method has a poor fault detection capability, whereas test sequences produced by U-, D-, and W-methods have comparable (superior to that for T-method) fault coverage on several classes of randomly generated machines used in this study. Also, some problems with a straightforward application of the four protocol-test-sequence generation methods to real-world communication protocols are pointed out.