Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
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)
IEEE/ACM Transactions on Networking (TON)
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
DAC '98 Proceedings of the 35th annual Design Automation Conference
A Hierarchical Test Generation Approach for Large Controllers
IEEE Transactions on Computers
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
A survey of communication protocol testing
Journal of Systems and Software
LearnLib: a library for automata learning and experimentation
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
A complete testing strategy based on interacting and hierarchical FSMs
Integration, the VLSI Journal
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Testability analysis and behavioral testing of the Hopfield neural paradigm
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Research: Synchronizable test sequence generation using UIO sequences
Computer Communications
Hi-index | 0.01 |