Olaf Henniger, Hasan Ural. Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. In Edel Sherratt, editor, SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. pages 189-202, VERIMAG, IRISA, SDL Forum, 2000.
Abstract is missing.