Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
An improved protocol test generation procedure based on UIOS
SIGCOMM '89 Symposium proceedings on Communications architectures & 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
Strategic Testing Environment with Formal Description Techniques
IEEE Transactions on Computers - Special issue on protocol engineering
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
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
Optimal length test sequence generation using distinguishing sequences
IEEE/ACM Transactions on Networking (TON)
On the generation of minimal-length conformance tests for communication protocols
IEEE/ACM Transactions on Networking (TON)
On testing hierarchies for protocols
IEEE/ACM Transactions on Networking (TON)
IEEE/ACM Transactions on Networking (TON)
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)
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Gate-level test generation for sequential circuits
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Efficient computation of unique input/output sequences in finite-state machines
IEEE/ACM Transactions on Networking (TON)
Test Generation for Multiple State-Table Faults in Finite-State Machines
IEEE Transactions on Computers
DAC '98 Proceedings of the 35th annual Design Automation Conference
Scientific foundations to the multilevel method
IEEE/ACM Transactions on Networking (TON)
A Hierarchical Test Generation Approach for Large Controllers
IEEE Transactions on Computers
IEEE Transactions on Computers
Functional test generation for full scan circuits
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Specification-based Testing for Gui-based Applications
Software Quality Control
Classification of Faults in Synchronous Sequential Circuits
IEEE Transactions on Computers
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
A survey of communication protocol testing
Journal of Systems and Software
IEEE Transactions on Software Engineering
Expressing Graphical User's Input for Test Specifications
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Towards Specification-based Web Testing
Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
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)
Generating test sequences from a set of MSCs
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
IEEE/ACM Transactions on Networking (TON)
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Conformance testing in the presence of multiple faults
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
A passive testing approach based on invariants: application to the WAP
Computer Networks and ISDN Systems
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
Verification and conformance test generation of communication protocol for railway signaling systems
Computer Standards & Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Using adaptive distinguishing sequences in checking sequence constructions
Proceedings of the 2008 ACM symposium on Applied computing
Formal methods: Importance, experience, and comparative analysis
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, 2003
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
Midpoints Versus Endpoints: From Protocols to Firewalls
ACNS '07 Proceedings of the 5th international conference on Applied Cryptography and Network Security
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
An Approach to Testing with Embedded Context Using Model Checker
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Exploring alternatives for transition verification
Journal of Systems and Software
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
A passive testing approach based on invariants: application to the WAP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Heuristics for Faster Error Detection With Automated Black Box Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
A complete testing strategy based on interacting and hierarchical FSMs
Integration, the VLSI Journal
Generating checking sequences for a distributed test architecture
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
Protocol-Based Testing of Firewalls
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Coverage criteria for state based specifications
Formal methods and testing
Testing in the distributed test architecture
Formal methods and testing
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
Context independent unique sequences generation for protocol testing
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Testability analysis and behavioral testing of the Hopfield neural paradigm
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Detecting observability problems in distributed testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Using distinguishing and UIO sequences together in a checking sequence
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Generalizing redundancy elimination in checking sequences
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Conditions for avoiding controllability problems in distributed testing
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Generating test cases for constraint automata by genetic symbiosis algorithm
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
On the correspondence between conformance testing and regular inference
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Test generation for interaction detection in feature-rich communication systems
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
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
Resolving observability problems in distributed test architectures
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
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A comparison of distributed test generation techniques
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Research: Improving the UIOv-method for protocol conformance testing
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
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 generation for interworking systems
Computer Communications
Test selection for a nondeterministic FSM
Computer Communications
Conformance testing to real-time communications systems
Computer Communications
A bounded incremental test generation algorithm for finite state machines
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Improving test coverage for UML state machines using transition instrumentation
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
Information and Software Technology
Hi-index | 0.02 |