Automated test generation from SDL specifications

Alain Kerbrat, Thierry Jéron, Roland Groz. Automated test generation from SDL specifications. In Rachida Dssouli, Gregor von Bochmann, Yair Lahav, editors, SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. pages 135-152, Elsevier, 1999.

Possibly Related Publications

The following publications are possibly variants of this publication: