@inproceedings{SAC-2001-ChungLYK,
	author        = "In Sang Chung and Wan Kwon Lee and Gwang Sik Yoon and Yong Rae Kwon",
	booktitle     = "{Proceedings of the 16th Symposium on Applied Computing}",
	doi           = "10.1145/372202.372784",
	pages         = "605--609",
	publisher     = "{ACM}",
	title         = "{Program slicing based on specification}",
	year          = 2001,
}