@inproceedings{33959bf61b5c4aa6997a9978a51e8217,
title = "Improving slice accuracy by compression of data and control flow paths",
abstract = "Program slicing is a useful technique in tools for program understanding and transformation. Computing correct and accurate slices for unstructured programs is particularly difficult. We present a new family of slicing algorithms that are proved correct and are more accurate than the best previous algorithms. An empirical study shows significant improvements of our algorithms on real code.",
keywords = "Program slicing",
author = "Aharon Abadi and Ran Ettinger and Feldman, {Yishai A.}",
year = "2009",
month = dec,
day = "1",
doi = "10.1145/1595696.1595729",
language = "English",
isbn = "9781605580012",
series = "ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering",
pages = "223--232",
booktitle = "ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering",
note = "Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC-FSE'09 ; Conference date: 24-08-2009 Through 28-08-2009",
}