Fully automated interoperability test suite derivation for communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Modelling and test generation using SAL for interoperability testing in consumer electronics
Proceedings of the second workshop on Automated formal methods
Interoperability testing based on a fault model for a system of communicating FSMs
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Hi-index | 0.00 |