Automated test generation from SDL specifications

Autor: Kerbrat, Alain, Jéron, Thierry, Groz, Roland
Zdroj: In SDL '99 1999:135-151
Databáze: ScienceDirect
Externí odkaz: