Program slicing based on specification.

In Sang Chung, Wan Kwon Lee, Gwang Sik Yoon, Yong Rae Kwon

Browse the full SAC paper archive.