Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Fault masking by multiple timing faults in timed EFSM models
Computer Networks: The International Journal of Computer and Telecommunications Networking
Techniques for abstracting SDL specifications
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Testing communicating systems: a model, a methodology, and a tool
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Validation of SDL-based architectural design models using communication-based coverage criteria
Information and Software Technology
| Hi-index | 0.00 |