Methods and methodology for an incremental test generation from SDL specifications.

Athmane Touag A. Rouger Methods and methodology for an incremental test generation from SDL specifications. 153- 1999 SDL Forum db/conf/sdl/sdl1999.html#TouagR99