Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos; Korel, Bogdan A formalisation of the relationship between forms of program slicing. (English) Zbl 1100.68549 Sci. Comput. Program. 62, No. 3, 228-252 (2006). MSC: 68N99 PDFBibTeX XMLCite \textit{D. Binkley} et al., Sci. Comput. Program. 62, No. 3, 228--252 (2006; Zbl 1100.68549) Full Text: DOI
Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos; Korel, Bogdan Theoretical foundations of dynamic program slicing. (English) Zbl 1097.68026 Theor. Comput. Sci. 360, No. 1-3, 23-41 (2006). MSC: 68N99 PDFBibTeX XMLCite \textit{D. Binkley} et al., Theor. Comput. Sci. 360, No. 1--3, 23--41 (2006; Zbl 1097.68026) Full Text: DOI