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
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)
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
Synchronizable test sequences based on multiple UIO sequences
IEEE/ACM Transactions on Networking (TON)
Scientific foundations to the multilevel method
IEEE/ACM Transactions on Networking (TON)
An Application of Explanation-Based Learning to Protocol Conformance Testing
IEEE Expert: Intelligent Systems and Their Applications
IEEE Transactions on Software Engineering
A survey of communication protocol testing
Journal of Systems and Software
Using Static Analysis to Improve Automatic Test Generation
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
IEEE/ACM Transactions on Networking (TON)
A complete test sequence using cyclic sequence for conformance testing
Computer Communications
Hi-index | 0.00 |