Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure
Computer Networks and ISDN Systems
Probabilistic testing of OSI protocols
Probabilistic testing of OSI protocols
Graph Algorithms
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Some Experience with Test Sequence Generation for Protocols
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
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
IEEE/ACM Transactions on Networking (TON)
Efficient computation of unique input/output sequences in finite-state machines
IEEE/ACM Transactions on Networking (TON)
Scientific foundations to the multilevel method
IEEE/ACM Transactions on Networking (TON)
A dynamic protocol conformance test method
Journal of Systems and Software
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Using status messages in the distributed test architecture
Information and Software Technology
Exploring alternatives for transition verification
Journal of Systems and Software
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
Reducing test sequence length using invertible sequences
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
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
Research: Construction of checking sequences based on characterization sets
Computer Communications
| Hi-index | 0.00 |