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

Ural, H.H.UralSaleh, K.K.SalehWilliams, A.A.Williams2022-03-032022-03-032000https://publica.fraunhofer.de/handle/publica/19873110.1016/S0140-3664(99)00227-3en004005Test generation based on control and data dependencies within system specifications in SDLjournal article