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.

Abstract

Abstract is missing.