Henniger, O.O.HennigerUral, H.H.Ural2022-03-092022-03-092000https://publica.fraunhofer.de/handle/publica/337016en004005Test generation based on control and data dependencies within multi-process SDL specificationsconference paper