Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Advancing Radio Testing Methodology via Formal Notations
Wireless Personal Communications: An International Journal
Minimal spanning set for coverage testing of interactive systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Research: Improving the UIOv-method for protocol conformance testing
Computer Communications
Hi-index | 0.00 |