{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:54:26Z","timestamp":1760586866445,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3106304","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"547-558","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Generalized observational slicing for tree-represented modelling languages"],"prefix":"10.1145","author":[{"given":"Nicolas E.","family":"Gold","sequence":"first","affiliation":[{"name":"University College London, UK"}]},{"given":"David","family":"Binkley","sequence":"additional","affiliation":[{"name":"Loyola University Maryland, USA"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[{"name":"University College London, UK"}]},{"given":"Syed","family":"Islam","sequence":"additional","affiliation":[{"name":"University of East London, UK"}]},{"given":"Jens","family":"Krinke","sequence":"additional","affiliation":[{"name":"University College London, UK"}]},{"given":"Shin","family":"Yoo","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985898"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"e_1_3_2_1_3_1","unstructured":"Alliance for Sustainable Energy. 2015. Campus Energy Modelling Project. (2015). github.com\/NREL\/CampusEnergyModeling  Alliance for Sustainable Energy. 2015. Campus Energy Modelling Project. (2015). github.com\/NREL\/CampusEnergyModeling"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5_11"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of the 1st Workshop on Inspection in Software Engineering. 4\u201311","author":"Anderson Paul","year":"2001","unstructured":"Paul Anderson and Tim Teitelbaum . 2001 . Software Inspection Using CodeSurfer . In Proc. of the 1st Workshop on Inspection in Software Engineering. 4\u201311 . Paul Anderson and Tim Teitelbaum. 2001. Software Inspection Using CodeSurfer. In Proc. of the 1st Workshop on Inspection in Software Engineering. 4\u201311."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985834"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501667"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.72"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257682"},{"key":"e_1_3_2_1_10_1","volume-title":"The application of program slicing to regression testing. Information and Software Technology 40, 11 and 12","author":"Binkley David","year":"1998","unstructured":"David Binkley . 1998. The application of program slicing to regression testing. Information and Software Technology 40, 11 and 12 ( 1998 ), 583\u2013594. David Binkley. 1998. The application of program slicing to regression testing. Information and Software Technology 40, 11 and 12 (1998), 583\u2013594."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635893"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2015.7335396"},{"key":"e_1_3_2_1_13_1","volume-title":"Line-Oriented Observation-Based Slicing. In 2017 IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Under Review.","author":"Binkley David","year":"2017","unstructured":"David Binkley , Nicolas Gold , Mark Harman , Syed Islam , Jens Krinke , and Shin Yoo . 2017 . Tree-Oriented vs . Line-Oriented Observation-Based Slicing. In 2017 IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Under Review. David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo. 2017. Tree-Oriented vs. Line-Oriented Observation-Based Slicing. In 2017 IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Under Review."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/645545.656038"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/850946.853244"},{"key":"e_1_3_2_1_16_1","volume-title":"IEEE International Workshop on Program Comprehension Working Session (IWPC\u201905)","author":"Collard M.","year":"2005","unstructured":"M. Collard . 2005 . Addressing Source Code Using srcML . In IEEE International Workshop on Program Comprehension Working Session (IWPC\u201905) . M. Collard. 2005. Addressing Source Code Using srcML. In IEEE International Workshop on Program Comprehension Working Session (IWPC\u201905)."},{"key":"e_1_3_2_1_17_1","volume-title":"Montr\u00e9al Boat Example. Source Code Analysis and Manipulation (SCAM 2002) conference resources website. (2002","author":"Danicic Sebastian","year":"2002","unstructured":"Sebastian Danicic and John Howroyd . 2002 . Montr\u00e9al Boat Example. Source Code Analysis and Manipulation (SCAM 2002) conference resources website. (2002 ). http:\/\/www.ieee-scam.org\/2002\/Slides_ct.html Sebastian Danicic and John Howroyd. 2002. Montr\u00e9al Boat Example. Source Code Analysis and Manipulation (SCAM 2002) conference resources website. (2002). http:\/\/www.ieee-scam.org\/2002\/Slides_ct.html"},{"key":"e_1_3_2_1_18_1","volume-title":"Anna Rita Fasolino, and Malcolm Munro","author":"Lucia Andrea De","year":"1996","unstructured":"Andrea De Lucia , Anna Rita Fasolino, and Malcolm Munro . 1996 . Understanding function behaviours through program slicing. In 4 t h International Workshop on Program Comprehension (Berlin, Germany) . 9\u201318. Andrea De Lucia, Anna Rita Fasolino, and Malcolm Munro. 1996. Understanding function behaviours through program slicing. In 4 t h International Workshop on Program Comprehension (Berlin, Germany). 9\u201318."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368172"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976283"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"e_1_3_2_1_22_1","volume-title":"Flow Sensitive Slicing for MATLAB\/Simulink Models. In 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA","author":"Gerlitz Thomas","year":"2016","unstructured":"Thomas Gerlitz and Stefan Kowalewski . 2016 . Flow Sensitive Slicing for MATLAB\/Simulink Models. In 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA 2016). 81\u201390. Thomas Gerlitz and Stefan Kowalewski. 2016. Flow Sensitive Slicing for MATLAB\/Simulink Models. In 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA 2016). 81\u201390."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.533"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/645879.672061"},{"key":"e_1_3_2_1_25_1","volume-title":"Conditioned Slicing Supports Partition Testing. Software Testing, Verification and Reliability 12 (March","author":"Hierons Robert Mark","year":"2002","unstructured":"Robert Mark Hierons , Mark Harman , Chris Fox , Lahcen Ouarbya , and Mohammed Daoudi . 2002. Conditioned Slicing Supports Partition Testing. Software Testing, Verification and Reliability 12 (March 2002 ), 23\u201328. Robert Mark Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, and Mohammed Daoudi. 2002. Conditioned Slicing Supports Partition Testing. Software Testing, Verification and Reliability 12 (March 2002), 23\u201328."},{"key":"e_1_3_2_1_26_1","volume-title":"https:\/\/www.youtube.com\/watch?v=1xmA4fHVi4Y Accessed","author":"Holling Dominik","year":"2016","unstructured":"Dominik Holling , Alexander Pretschner , and Matthias Gemmar . 2014. 8 Cage Demo Video . (Aug. 2014). https:\/\/www.youtube.com\/watch?v=1xmA4fHVi4Y Accessed 20 July 2016 . Dominik Holling, Alexander Pretschner, and Matthias Gemmar. 2014. 8Cage Demo Video. (Aug. 2014). https:\/\/www.youtube.com\/watch?v=1xmA4fHVi4Y Accessed 20 July 2016."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648622"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"e_1_3_2_1_29_1","volume-title":"25th International Joint Conference on Artificial Intelligence.","author":"Huo Xuan","year":"2016","unstructured":"Xuan Huo , Ming Li , and Zhi-Hua Zhou . 2016 . Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code . In 25th International Joint Conference on Artificial Intelligence. Xuan Huo, Ming Li, and Zhi-Hua Zhou. 2016. Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code. In 25th International Joint Conference on Artificial Intelligence."},{"key":"e_1_3_2_1_30_1","volume-title":"16th Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE","author":"Insa David","year":"2016","unstructured":"David Insa , Sergio P\u00e9rez , and Josep Silva . 2016. How to construct a suite of program slices . In 16th Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE 2016 ). David Insa, Sergio P\u00e9rez, and Josep Silva. 2016. How to construct a suite of program slices. In 16th Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE 2016)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/523511.837884"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014823126938"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"J.T. Lallchandani and R. Mall. 2010. Integrated state-based dynamic slicing technique for UML models. IET Software 4 (February 2010) 55\u201378(23). Issue 1.  J.T. Lallchandani and R. Mall. 2010. Integrated state-based dynamic slicing technique for UML models. IET Software 4 (February 2010) 55\u201378(23). Issue 1.","DOI":"10.1049\/iet-sen.2009.0080"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.112"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1605"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786872"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005236100500061"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.18"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070528"},{"key":"e_1_3_2_1_42_1","volume-title":"8Cage: Lightweight Fault-Based Test Generation for Simulink. (2017). www22.in.tum.de\/en\/tools\/8Cage\/ Accessed","author":"Pretschner Alexander","year":"2017","unstructured":"Alexander Pretschner . 2017. 8Cage: Lightweight Fault-Based Test Generation for Simulink. (2017). www22.in.tum.de\/en\/tools\/8Cage\/ Accessed 4 July 2017 . Alexander Pretschner. 2017. 8Cage: Lightweight Fault-Based Test Generation for Simulink. (2017). www22.in.tum.de\/en\/tools\/8Cage\/ Accessed 4 July 2017."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337288"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187674"},{"volume-title":"Generating Test Sequences and Slices for Simulink\/Stateflow Models. Master\u2019s thesis","author":"Sridhar Adepu","key":"e_1_3_2_1_45_1","unstructured":"Adepu Sridhar . 2013. Generating Test Sequences and Slices for Simulink\/Stateflow Models. Master\u2019s thesis . National Institute of Technology , Rourkela, India . Adepu Sridhar. 2013. Generating Test Sequences and Slices for Simulink\/Stateflow Models. Master\u2019s thesis. National Institute of Technology, Rourkela, India."},{"key":"e_1_3_2_1_46_1","volume-title":"India","author":"Sridhar Adepu","year":"2013","unstructured":"Adepu Sridhar and D. Srinivasulu . 2014. Slicing MATLAB Simulink\/Stateflow Models. In Intelligent Computing, Networking, and Informatics: Proceedings of the International Conference on Advanced Computing, Networking, and Informatics , India , June 2013 . Springer India, 737\u2013743. Adepu Sridhar and D. Srinivasulu. 2014. Slicing MATLAB Simulink\/Stateflow Models. In Intelligent Computing, Networking, and Informatics: Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013. Springer India, 737\u2013743."},{"key":"e_1_3_2_1_47_1","unstructured":"The Mathworks Inc. 2016. Simulink. (2016). http:\/\/uk.mathworks.com\/products\/ simulink\/ Accessed 21 July 2016.  The Mathworks Inc. 2016. Simulink. (2016). http:\/\/uk.mathworks.com\/products\/ simulink\/ Accessed 21 July 2016."},{"key":"e_1_3_2_1_48_1","unstructured":"The Mathworks Inc. 2016.  The Mathworks Inc. 2016."},{"key":"e_1_3_2_1_49_1","unstructured":"Simulink Design Verifier: Isolating Problematic Behaviour with Model Slicer. (2016).  Simulink Design Verifier: Isolating Problematic Behaviour with Model Slicer. (2016)."},{"volume-title":"\/\/uk.mathworks.com\/products\/sldesignverifier\/features.html# isolating-problematic-behavior-with-model-slicer Accessed","year":"2016","key":"e_1_3_2_1_50_1","unstructured":"https : \/\/uk.mathworks.com\/products\/sldesignverifier\/features.html# isolating-problematic-behavior-with-model-slicer Accessed 20 July 2016 . https: \/\/uk.mathworks.com\/products\/sldesignverifier\/features.html# isolating-problematic-behavior-with-model-slicer Accessed 20 July 2016."},{"key":"e_1_3_2_1_51_1","first-page":"121","article-title":"A Survey of Program Slicing Techniques","volume":"3","author":"Tip Frank","year":"1995","unstructured":"Frank Tip . 1995 . A Survey of Program Slicing Techniques . Journal of Programming Languages 3 (1995), 121 \u2013 189 . Frank Tip. 1995. A Survey of Program Slicing Techniques. Journal of Programming Languages 3 (1995), 121\u2013189.","journal-title":"Journal of Programming Languages"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205178"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113455"},{"key":"e_1_3_2_1_55_1","volume-title":"Empirical Studies of Programmers: First Workshop. 187\u2013197","author":"Weiser Mark","year":"1985","unstructured":"Mark Weiser and Jim Lyle . 1985 . Experiments on slicing-based debugging aids . In Empirical Studies of Programmers: First Workshop. 187\u2013197 . Mark Weiser and Jim Lyle. 1985. Experiments on slicing-based debugging aids. In Empirical Studies of Programmers: First Workshop. 187\u2013197."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2014.26"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Paderborn Germany","acronym":"ESEC\/FSE'17"},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3106304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":54,"alternative-id":["10.1145\/3106237.3106304","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3106304","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}