A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Fault diagnosis in extended finite state machines
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Techniques for abstracting SDL specifications
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Proof-Guided Test Selection from First-Order Specifications with Equality
Journal of Automated Reasoning
EFSM-based testing strategy for APIs test of embedded OS
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Hi-index | 0.00 |