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
Scientific foundations to the multilevel method
IEEE/ACM Transactions on Networking (TON)
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
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
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
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Analytic methods in coverage testing of communications software
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Iterative automatic test generation method for telecommunication protocols
Computer Standards & Interfaces
Techniques for abstracting SDL specifications
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Testing mobile and distributed systems: method and experimentation
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Hi-index | 0.00 |