Test generation based on control and data dependencies within system specifications in SDL

Hasan Ural, Kassem Saleh, Alan W. Williams. Test generation based on control and data dependencies within system specifications in SDL. Computer Communications, 23(7):609-627, 2000. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: