{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T17:27:16Z","timestamp":1777483636951,"version":"3.51.4"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:00:00Z","timestamp":1548288000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:00:00Z","timestamp":1548288000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1626262"],"award-info":[{"award-number":["1626262"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NRF","award":["2017M3C4A7068179"],"award-info":[{"award-number":["2017M3C4A7068179"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10664-018-9675-9","type":"journal-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T22:56:43Z","timestamp":1548370603000},"page":"3077-3113","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["A comparison of tree- and line-oriented observational slicing"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0059-4024","authenticated-orcid":false,"given":"David","family":"Binkley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Gold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Syed","family":"Islam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Krinke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin","family":"Yoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,24]]},"reference":[{"key":"9675_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal H, Horgan JR (1990) Dynamic program slicing. In: Proceedings of the ACM SIGPLAN\u201990 conference on programming language design and implementation (PLDI)","DOI":"10.1145\/93542.93576"},{"key":"9675_CR2","unstructured":"Barpanda SS, Mohapatra DP (2011) Dynamic slicing of distributed object-oriented programs. IET Softw 5(5):425\u2013433"},{"key":"9675_CR3","unstructured":"Beszedes A, Gergely T, Szab\u00f3 ZM, Csirik J, Gyimothy T (2001) Dynamic slicing method for maintenance of large C programs. In: Proceedings of the 5th conference on software maintenance and reengineering"},{"key":"9675_CR4","unstructured":"Besz\u00e9des \u00c1, Farag\u00f3 C, Szab\u00f3 ZM, Csirik J, Gyim\u00f3thy T (2002) Union slices for program maintenance. In: Proceedings of the 18th Intl. Conf. on Software Maintenance (ICSM)"},{"key":"9675_CR5","doi-asserted-by":"crossref","unstructured":"Beszedes A, Gergely T, Gyim\u00f3thy T (2006) Graph-less dynamic dependence-based dynamic slicing algorithms. In: Intl. workshop on source code analysis and manipulation (SCAM)","DOI":"10.1109\/SCAM.2006.17"},{"key":"9675_CR6","doi-asserted-by":"crossref","unstructured":"Binkley D, Capellini R, Raszewski L, Smith C (2001) An implementation of and experiment with semantic differencing. In: Proceedings of the 2001 IEEE international conference on software maintenance, pp 82\u201391","DOI":"10.1109\/ICSM.2001.972714"},{"key":"9675_CR7","unstructured":"Binkley D, Harman M, Hassoun Y, Islam S, Li Z (2009) Assessing the impact of global variables on program dependence and dependence clusters. J Syst Softw 83(1):96\u2013107"},{"key":"9675_CR8","doi-asserted-by":"crossref","unstructured":"Binkley D, Gold N, Harman M, Islam S, Krinke J, Yoo S (2014) ORBS: Language-independent program slicing. In: Proceedings 22nd ACM SIGSOFT Intl. symposium on foundations of software engineering","DOI":"10.1145\/2635868.2635893"},{"key":"9675_CR9","doi-asserted-by":"crossref","unstructured":"Binkley D, Gold N, Harman M, Islam S, Krinke J, Yoo S (2015) ORBS and the limits of static slicing. In: Intl. working conference on source code analysis and manipulation (SCAM)","DOI":"10.1109\/SCAM.2015.7335396"},{"key":"9675_CR10","doi-asserted-by":"crossref","unstructured":"Binkley D, Gold N, Islam S, Krinke J, Yoo S (2017) Tree-oriented vs line-oriented observation-based slicing. In: Intl. workshop on source code analysis and manipulation (SCAM)","DOI":"10.1109\/SCAM.2017.11"},{"key":"9675_CR11","unstructured":"Cleve H, Zeller A (2000) Finding failure causes through automated testing. In: Intl. workshop on automated debugging"},{"key":"9675_CR12","unstructured":"Collard M (2005) Addressing source code using srcml. In: IEEE international workshop on program comprehension working session (IWPC\u201905)"},{"key":"9675_CR13","unstructured":"Danicic S, Howroyd J (2002) Montr\u00e9al boat example. In: Source code analysis and manipulation (SCAM 2002) conference resources website. \nhttp:\/\/www.ieee-scam.org\/2002\/Slides_ct.html"},{"key":"9675_CR14","unstructured":"Danicic S, Harman M, Hierons R, Howroyd J, Laurence M (2004) Applications of linear program schematology in dependence analysis. In: 1st. international workshop on programming language interference and dependence, Verona, Italy. \nhttp:\/\/profs.sci.univr.it\/mastroen\/noninterference.html"},{"key":"9675_CR15","doi-asserted-by":"crossref","unstructured":"DeMillo RA, Pan H, Spafford EH (1996) Critical slicing for software fault localization. In: Proceedings of the Intl. symposium on software testing and analysis (ISSTA)","DOI":"10.1145\/229000.226310"},{"key":"9675_CR16","unstructured":"Gallagher KB, Lyle JR (1991) Using program slicing in software maintenance. IEEE Trans Softw Eng 17(8):751\u2013761"},{"key":"9675_CR17","doi-asserted-by":"crossref","unstructured":"Gallagher KB, Binkley D, Harman M (2006) Stop-list slicing. In: Intl. workshop on source code analysis and manipulation (SCAM)","DOI":"10.1109\/SCAM.2006.30"},{"key":"9675_CR18","doi-asserted-by":"crossref","unstructured":"Gold NE, Binkley D, Harman M, Islam S, Krinke J, Yoo S (2017) Generalized observational slicing for tree-represented modelling languages. In: Proceedings 25nd ACM SIGSOFT Intl. symposium on foundations of software engineering","DOI":"10.1145\/3106237.3106304"},{"key":"9675_CR19","unstructured":"Harman M, Danicic S (1997) Amorphous program slicing. In: 5th IEEE international workshop on program comprenhesion (IWPC)"},{"issue":"1","key":"9675_CR20","doi-asserted-by":"publisher","first-page":"1:1","DOI":"10.1145\/1596527.1596528","volume":"32","author":"M Harman","year":"2009","unstructured":"Harman M, Binkley D, Gallagher K, Gold N, Krinke J (2009) Dependence clusters in source code. ACM Trans Program Lang Syst 32(1):1:1\u20131:33","journal-title":"ACM Trans Program Lang Syst"},{"key":"9675_CR21","doi-asserted-by":"crossref","unstructured":"Hodov\u00e1n R, Kiss \u00c1, Gyim\u00f3thy T (2017) Coarse hierarchical delta debugging. In: 2017 IEEE international conference on software maintenance and evolution (ICSME), pp 194\u2013203","DOI":"10.1109\/ICSME.2017.26"},{"key":"9675_CR22","doi-asserted-by":"crossref","unstructured":"Horwitz S, Reps T, Binkley DW (1988) Interprocedural slicing using dependence graphs. In: ACM SIGPLAN Conference on programming language design and implementation","DOI":"10.1145\/53990.53994"},{"key":"9675_CR23","doi-asserted-by":"crossref","unstructured":"Horwitz S, Reps T, Binkley DW (1990) Interprocedural slicing using dependence graphs. ACM Trans Program Lang Syst 12(1):26\u201361","DOI":"10.1145\/77606.77608"},{"key":"9675_CR24","doi-asserted-by":"crossref","unstructured":"Islam S, Binkley D (2016) PORBS: a parallel observation-based slicer. In: 24Th international conference on program comprehension (ICPC), IEEE, pp 1\u20133","DOI":"10.1109\/ICPC.2016.7503745"},{"key":"9675_CR25","doi-asserted-by":"crossref","unstructured":"Jaffar J, Murali V, Navas J, Santosa AE (2012) Path-sensitive backward slicing. In: Proceedings SAS\u201912, Springer, vol 7460","DOI":"10.1007\/978-3-642-33125-1_17"},{"key":"9675_CR26","doi-asserted-by":"crossref","unstructured":"Jiang S, Santelices R, Grechanik M, Cai H (2014) On the accuracy of forward dynamic slicing and its effects on software maintenance. In: Intl. working conference on source code analysis and manipulation (SCAM)","DOI":"10.1109\/SCAM.2014.23"},{"issue":"3","key":"9675_CR27","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B Korel","year":"1988","unstructured":"Korel B, Laski J (1988) Dynamic program slicing. Inf Process Lett 29 (3):155\u2013163","journal-title":"Inf Process Lett"},{"key":"9675_CR28","doi-asserted-by":"crossref","unstructured":"Korel B, Laski J (1990) Dynamic slicing in computer programs. J Syst Softw 13(3):187\u2013195","DOI":"10.1016\/0164-1212(90)90094-3"},{"key":"9675_CR29","unstructured":"Krinke J (2003) Barrier slicing and chopping. In: Intl. workshop on source code analysis and manipulation (SCAM)"},{"key":"9675_CR30","unstructured":"Laurence MR (2004) Equivalence of linear, free, liberal program schemas is decidable in polynomial time. PhD thesis, Goldsmiths College, University of London"},{"key":"9675_CR31","doi-asserted-by":"crossref","unstructured":"De Lucia A, Harman M, Hierons R, Krinke J (2003) Unions of slices are not slices. In: European conference on software maintenance and reengineering (CSMR 2003), pp 363\u2013367","DOI":"10.1109\/CSMR.2003.1192445"},{"key":"9675_CR32","doi-asserted-by":"crossref","unstructured":"Mamun MAA, Berger C, Hansson J (2017) Correlations of software code metrics: An empirical study. In: Proceedings of the 27th international workshop on software measurement and 12th international conference on software process and product measurement, pp 255\u2013266","DOI":"10.1145\/3143434.3143445"},{"key":"9675_CR33","unstructured":"McPeak S, Wilkerson DS, Goldsmith S (2006) Delta (\nhttp:\/\/delta.tigris.org\n\n)"},{"key":"9675_CR34","doi-asserted-by":"crossref","unstructured":"Misherghi G, Su Z (2006) HDD: hierarchical delta debugging. In: Proceedings of the 28th Intl. conference on software engineering (ICSE)","DOI":"10.1145\/1134285.1134307"},{"key":"9675_CR35","doi-asserted-by":"crossref","unstructured":"Mund G, Mall R (2006) An efficient interprocedural dynamic slicing method. J Syst Softw 79(6):791\u2013806","DOI":"10.1016\/j.jss.2005.07.024"},{"key":"9675_CR36","unstructured":"NASA (2017a) DAIDALUS: Detect and avoid alerting logic for unmanned systems. \nhttps:\/\/github.com\/nasa\/WellClear"},{"key":"9675_CR37","unstructured":"NASA (2017b) GMAT: Generalised mission analysis tool R2017a. \nhttps:\/\/sourceforge.net\/projects\/gmat\/files\/GMAT\/GMAT-R2017a\/"},{"key":"9675_CR38","doi-asserted-by":"crossref","unstructured":"Nguyen HV, K\u00e4stner C, Nguyen TN (2015) Cross-language program slicing for dynamic web applications. In: Proceedings of the 2015 10th joint meeting on foundations of software engineering, ACM, pp 369\u2013380","DOI":"10.1145\/2786805.2786872"},{"key":"9675_CR39","unstructured":"Orso A, Sinha S, Harrold MJ (2001) Incremental slicing based on data-dependences types. In: Proceedings of the IEEE Intl. conference on software maintenance (ICSM)"},{"key":"9675_CR40","doi-asserted-by":"crossref","unstructured":"Ottenstein KJ, Ottenstein LM (1984) The program dependence graph in software development environments. In: Proceedings of the ACM SIGSOFT\/SIGPLAN software engineering symposium on practical software development environment","DOI":"10.1145\/800020.808263"},{"key":"9675_CR41","doi-asserted-by":"crossref","unstructured":"Regehr J, Chen Y, Cuoq P, Eide E, Ellison C, Yang X (2012) Test-case reduction for C compiler bugs. In: Proceedings of the ACM SIGPLAN conference on programming language design and implementation (PLDI)","DOI":"10.1145\/2254064.2254104"},{"key":"9675_CR42","doi-asserted-by":"crossref","unstructured":"Reps T, Turnidge T, Danvy O, Gl\u00fcck R, Thiemann P (1996) Program specialization via program slicing. In: Dagstuhl seminar on partial evaluation, vol 1110","DOI":"10.1007\/3-540-61580-6_20"},{"key":"9675_CR43","doi-asserted-by":"crossref","unstructured":"Sun C, Li Y, Zhang Q, Gu T, Su Z (2018) Perses: Syntax-guided program reduction. In: Proceedings of the 40th Intl. conference on software engineering (ICSE)","DOI":"10.1145\/3180155.3180236"},{"key":"9675_CR44","unstructured":"Szegedi A, Gyim\u00f3thy T (2005) Dynamic slicing of Java bytecode programs"},{"key":"9675_CR45","doi-asserted-by":"crossref","unstructured":"Tukey JW (1949) Comparing indirect means in the analysis of variance. Biometrics 5(99):99\u2013114","DOI":"10.2307\/3001913"},{"key":"9675_CR46","unstructured":"Ward M (2003) Slicing the SCAM mug: a case study in semantic slicing. In: Intl. workshop on source code analysis and manipulation (SCAM)"},{"key":"9675_CR47","unstructured":"Weiser M (1981) Program slicing. In: Proceedings of the 5th Intl. conference on software engineering"},{"key":"9675_CR48","doi-asserted-by":"crossref","unstructured":"Weiser M (1982) Programmers use slices when debugging. Commun ACM 25(7):446\u2013452","DOI":"10.1145\/358557.358577"},{"key":"9675_CR49","doi-asserted-by":"crossref","unstructured":"Yoo S, Binkley D, Eastman RD (2014) Seeing is slicing: Observation based slicing of picture description languages. In: Intl. workshop on source code analysis and manipulation (SCAM), pp 175\u2013184","DOI":"10.1109\/SCAM.2014.26"},{"key":"9675_CR50","doi-asserted-by":"crossref","unstructured":"Zeller A (1999) Yesterday, my program worked. today it does not. Why?. In: European software engineering conference and foundations of software engineering","DOI":"10.1007\/3-540-48166-4_16"},{"key":"9675_CR51","doi-asserted-by":"crossref","unstructured":"Zeller A, Hildebrandt R (2002) Simplifying and isolating failure-inducing input. IEEE Trans Softw Eng 28(2):183\u2013200","DOI":"10.1109\/32.988498"},{"key":"9675_CR52","doi-asserted-by":"crossref","unstructured":"Zhang X, Gupta R (2004) Cost effective dynamic program slicing. In: Proceedings of the ACM SIGPLAN 2004 Conference on programming language design and implementation","DOI":"10.1145\/996841.996855"},{"issue":"2","key":"9675_CR53","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10664-006-9007-3","volume":"12","author":"X Zhang","year":"2007","unstructured":"Zhang X, Gupta N, Gupta R (2007) A study of effectiveness of dynamic slicing in locating real faults. Empir Softw Eng 12(2):143\u2013160","journal-title":"Empir Softw Eng"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-018-9675-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-018-9675-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-018-9675-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:11:51Z","timestamp":1589728311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-018-9675-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,24]]},"references-count":53,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["9675"],"URL":"https:\/\/doi.org\/10.1007\/s10664-018-9675-9","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,24]]},"assertion":[{"value":"24 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}