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]

Authors

Hasan Ural

This author has not been identified. Look up 'Hasan Ural' in Google

Kassem Saleh

This author has not been identified. Look up 'Kassem Saleh' in Google

Alan W. Williams

This author has not been identified. Look up 'Alan W. Williams' in Google