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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.