Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.

Olaf Henniger Hasan Ural Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. 189-202 2000 conf/sam/2000 SAM db/conf/sam/sam2000.html#HennigerU00