Evaluation of some test generation tools on a real protocol example

we present the results of a test generation experiment for the GSM MAP protocol. We analyse how the official ETSI SDL specification must be completed and transformed to fit the requirements of four test generation tools. Then we compare and contrast the test suites which are obtained, and we analyse the key problems that remain to be solved in order to obtain operational results.