Comparing TorX, Autolink, TGV and UIO Test Algorithms
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Model based testing with labelled transition systems
Formal methods and testing
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
A new method for interoperability test generation
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |