Zhu Yun Gu, Kong Eng Cheng. The derivation of test cases from SDL specifications. In Mladen A. Vouk, Douglas S. Reeves, Cherri M. Pancake, editors, Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992. pages 219-227, ACM, 1992. [doi]
Abstract is missing.