Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL.

Hasan Ural, Alan W. Williams

Browse the full FORTE paper archive.