In Sang Chung, W. K. Lee, Gwang Sik Yoon, Yong Rae Kwon. Program slicing based on specification. In Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA. pages 605-609, ACM, 2001. [doi]
Abstract is missing.