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]

Abstract

Abstract is missing.