Automating the process of test derivation from SDL specifications

Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga. Automating the process of test derivation from SDL specifications. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 261-276, Elsevier, 1997.

Authors

Gregor von Bochmann

This author has not been identified. Look up 'Gregor von Bochmann' in Google

Alexandre Petrenko

This author has not been identified. Look up 'Alexandre Petrenko' in Google

O. Bellal

This author has not been identified. Look up 'O. Bellal' in Google

S. Maguiraga

This author has not been identified. Look up 'S. Maguiraga' in Google