{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:14Z","timestamp":1750220774566,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","award":["306137\/2017-8"],"award-info":[{"award-number":["306137\/2017-8"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,23]]},"DOI":"10.1145\/3350768.3350777","type":"proceedings-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T13:37:23Z","timestamp":1568986643000},"page":"203-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Provenance-enhanced Algorithmic Debugging"],"prefix":"10.1145","author":[{"given":"Henrique","family":"Linhares","sequence":"first","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Rio de Janeiro, Brazil"}]},{"given":"Jo\u00e3o Felipe","family":"Pimentel","sequence":"additional","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Rio de Janeiro, Brazil"}]},{"given":"Troy","family":"Kohwalter","sequence":"additional","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Rio de Janeiro, Brazil"}]},{"given":"Leonardo Gresta Paulino","family":"Murta","sequence":"additional","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Rio de Janeiro, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93576"},{"volume-title":"Top-down diagnosis of Prolog programs. Master's thesis","author":"Av-Ron Evyatar","key":"e_1_3_2_1_2_1","unstructured":"Evyatar Av-Ron . 1984. Top-down diagnosis of Prolog programs. Master's thesis . Weizmann Institute of Science , Rehovot, Israel . Evyatar Av-Ron. 1984. Top-down diagnosis of Prolog programs. Master's thesis. Weizmann Institute of Science, Rehovot, Israel."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.01.005"},{"key":"e_1_3_2_1_4_1","volume-title":"EDD: A declarative debugger for sequential erlang programs","author":"Caballero Rafael","year":"2014","unstructured":"Rafael Caballero , Enrique Martin-Martin , Adrian Riesco , and Salvador Tamarit . 2014 . EDD: A declarative debugger for sequential erlang programs . In TACAS. Springer Berlin Heidelberg , Berlin, Heidelberg , 581--586. Rafael Caballero, Enrique Martin-Martin, Adrian Riesco, and Salvador Tamarit. 2014. EDD: A declarative debugger for sequential erlang programs. In TACAS. Springer Berlin Heidelberg, Berlin, Heidelberg, 581--586."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106740"},{"volume-title":"SIGMOD","author":"Chapman Adriane","key":"e_1_3_2_1_6_1","unstructured":"Adriane Chapman and HV Jagadish . 2009. Why not? . In SIGMOD . ACM , Providence, RI , 523--534. Adriane Chapman and HV Jagadish. 2009. Why not?. In SIGMOD. ACM, Providence, RI, 523--534."},{"volume-title":"Dynamic slicing of Python programs","author":"Chen Zhifei","key":"e_1_3_2_1_7_1","unstructured":"Zhifei Chen , Lin Chen , Yuming Zhou , Zhaogui Xu , William C Chu , and Baowen Xu. 2014. Dynamic slicing of Python programs . In COMPSAC. IEEE , Vasteras, Sweden , 219--228. Zhifei Chen, Lin Chen, Yuming Zhou, Zhaogui Xu, William C Chu, and Baowen Xu. 2014. Dynamic slicing of Python programs. In COMPSAC. IEEE, Vasteras, Sweden, 219--228."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161498"},{"volume-title":"A new hybrid debugging architecture for eclipse","author":"Gonz\u00e1lez Juan","key":"e_1_3_2_1_11_1","unstructured":"Juan Gonz\u00e1lez , David Insa , and Josep Silva . 2013. A new hybrid debugging architecture for eclipse . In LOPSTR. Springer , Madrid, Spain , 183--201. Juan Gonz\u00e1lez, David Insa, and Josep Silva. 2013. A new hybrid debugging architecture for eclipse. In LOPSTR. Springer, Madrid, Spain, 183--201."},{"volume-title":"ICSE-Companion","author":"Groce Alex","key":"e_1_3_2_1_12_1","unstructured":"Alex Groce , Josie Holmes , Darko Marinov , August Shi , and Lingming Zhang . 2018. An extensible, regular-expression-based tool for multi-language mutant generation . In ICSE-Companion . IEEE , Gothenburg, Sweden , 25--28. Alex Groce, Josie Holmes, Darko Marinov, August Shi, and Lingming Zhang. 2018. An extensible, regular-expression-based tool for multi-language mutant generation. In ICSE-Companion. IEEE, Gothenburg, Sweden, 25--28."},{"volume-title":"Hybrid debugging of java programs","author":"Hermanns Christian","key":"e_1_3_2_1_13_1","unstructured":"Christian Hermanns and Herbert Kuchen . 2011. Hybrid debugging of java programs . In ICSOFT. Springer , Seville, Spain , 91--107. Christian Hermanns and Herbert Kuchen. 2011. Hybrid debugging of java programs. In ICSOFT. Springer, Seville, Spain, 91--107."},{"key":"e_1_3_2_1_14_1","volume-title":"Symposium on Logic Programming. IEEE","author":"Huntbach Matthew M","year":"1987","unstructured":"Matthew M Huntbach . 1987 . Algorithmic PARLOG debugging . In Symposium on Logic Programming. IEEE , San Francisco, CA, 288--297. Matthew M Huntbach. 1987. Algorithmic PARLOG debugging. In Symposium on Logic Programming. IEEE, San Francisco, CA, 288--297."},{"volume-title":"An algorithmic debugger for Java","author":"Insa David","key":"e_1_3_2_1_15_1","unstructured":"David Insa and Josep Silva . 2010. An algorithmic debugger for Java . In ICSME. IEEE , Timisoara, Romania , 1--6. David Insa and Josep Silva. 2010. An algorithmic debugger for Java. In ICSME. IEEE, Timisoara, Romania, 1--6."},{"volume-title":"The efficient debugging system for locating logical errors in java programs","author":"Kouh Hoon-Joon","key":"e_1_3_2_1_16_1","unstructured":"Hoon-Joon Kouh and Weon-Hee Yoo . 2003. The efficient debugging system for locating logical errors in java programs . In ICCSA. Springer , Montreal, Canada , 684--693. Hoon-Joon Kouh and Weon-Hee Yoo. 2003. The efficient debugging system for locating logical errors in java programs. In ICCSA. Springer, Montreal, Canada, 684--693."},{"volume-title":"The Practice of Prolog","author":"Lakhotia Arun","key":"e_1_3_2_1_17_1","unstructured":"Arun Lakhotia and Leon Sterling . 1990. ProMiX: A Prolog partial evaluation system . In The Practice of Prolog . MIT Press , Cambridge, MA , 137--179. Arun Lakhotia and Leon Sterling. 1990. ProMiX: A Prolog partial evaluation system. In The Practice of Prolog. MIT Press, Cambridge, MA, 137--179."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.111"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Paolo Missier Khalid Belhajjame and James Cheney. 2013. The W3C PROV family of specifications for modelling provenance metadata. In EDBT\/ICDT. ACM Genoa Italy 773--776.  Paolo Missier Khalid Belhajjame and James Cheney. 2013. The W3C PROV family of specifications for modelling provenance metadata. In EDBT\/ICDT. ACM Genoa Italy 773--776.","DOI":"10.1145\/2452376.2452478"},{"volume-title":"no Workflow: Capturing and Analyzing Provenance of Scripts","author":"Murta Leonardo","key":"e_1_3_2_1_20_1","unstructured":"Leonardo Murta , Vanessa Braganholo , Fernando Chirigati , David Koop , and Juliana Freire . 2015. no Workflow: Capturing and Analyzing Provenance of Scripts . In IPAW. Springer International Publishing , Cham , 71--83. Leonardo Murta, Vanessa Braganholo, Fernando Chirigati, David Koop, and Juliana Freire. 2015. no Workflow: Capturing and Analyzing Provenance of Scripts. In IPAW. Springer International Publishing, Cham, 71--83."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037939"},{"volume-title":"The NU-Prolog Debugging Environment","author":"Naish Lee","key":"e_1_3_2_1_22_1","unstructured":"Lee Naish , Philip W Dart , and Justin Zobel . 1989. The NU-Prolog Debugging Environment . In ICLP. MIT Press , Lisbon, Portugal , 521--536. Lee Naish, Philip W Dart, and Justin Zobel. 1989. The NU-Prolog Debugging Environment. In ICLP. MIT Press, Lisbon, Portugal, 521--536."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680000109X"},{"volume-title":"Fine-Grained Provenance Collection over Scripts Through Program Slicing","author":"Pimentel Jo\u00e3o Felipe","key":"e_1_3_2_1_24_1","unstructured":"Jo\u00e3o Felipe Pimentel , Juliana Freire , Leonardo Murta , and Vanessa Braganholo . 2016. Fine-Grained Provenance Collection over Scripts Through Program Slicing . In IPAW. Springer International Publishing , Cham , 199--203. Jo\u00e3o Felipe Pimentel, Juliana Freire, Leonardo Murta, and Vanessa Braganholo. 2016. Fine-Grained Provenance Collection over Scripts Through Program Slicing. In IPAW. Springer International Publishing, Cham, 199--203."},{"key":"e_1_3_2_1_25_1","first-page":"4","article-title":"no Workflow: a tool for collecting, analyzing, and managing provenance from python scripts","volume":"10","author":"Pimentel Joao Felipe","year":"2017","unstructured":"Joao Felipe Pimentel , Leonardo Murta , Vanessa Braganholo , and Juliana Freire . 2017 . no Workflow: a tool for collecting, analyzing, and managing provenance from python scripts . PVLDB 10 , 12 (2017), 4 . Joao Felipe Pimentel, Leonardo Murta, Vanessa Braganholo, and Juliana Freire. 2017. no Workflow: a tool for collecting, analyzing, and managing provenance from python scripts. PVLDB 10, 12 (2017), 4.","journal-title":"PVLDB"},{"volume-title":"Declarative debugging with Buddha","author":"Pope Bernard","key":"e_1_3_2_1_26_1","unstructured":"Bernard Pope . 2004. Declarative debugging with Buddha . In AFP. Springer , Tartu, Estonia , 273--308. Bernard Pope. 2004. Declarative debugging with Buddha. In AFP. Springer, Tartu, Estonia, 273--308."},{"key":"e_1_3_2_1_27_1","unstructured":"Python Software Foundation. 2019. difflib Helpers for computing deltas. https: \/\/docs.python.org\/3\/library\/difflib.html Accessed: 2019-05-19.  Python Software Foundation. 2019. difflib Helpers for computing deltas. https: \/\/docs.python.org\/3\/library\/difflib.html Accessed: 2019-05-19."},{"key":"e_1_3_2_1_28_1","volume-title":"Annual meeting of the Florida Association of Institutional Research. FAIR","author":"Romano Jeanine","year":"2006","unstructured":"Jeanine Romano , Jeffrey D Kromrey , Jesse Coraggio , and Jeff Skowronek . 2006 . Appropriate statistics for ordinal level data: Should we really be using t-test and Cohen's d for evaluating group differences on the NSSE and other surveys . In Annual meeting of the Florida Association of Institutional Research. FAIR , Cocoa Beach, FL, 1--33. Jeanine Romano, Jeffrey D Kromrey, Jesse Coraggio, and Jeff Skowronek. 2006. Appropriate statistics for ordinal level data: Should we really be using t-test and Cohen's d for evaluating group differences on the NSSE and other surveys. In Annual meeting of the Florida Association of Institutional Research. FAIR, Cocoa Beach, FL, 1--33."},{"volume-title":"Algorithmic debugging for imperative languages with side-effects","author":"Shahmehri Nahid","key":"e_1_3_2_1_29_1","unstructured":"Nahid Shahmehri and Peter Fritzson . 1990. Algorithmic debugging for imperative languages with side-effects . In CC. Springer , Schwerin, Germany , 226--227. Nahid Shahmehri and Peter Fritzson. 1990. Algorithmic debugging for imperative languages with side-effects. In CC. Springer, Schwerin, Germany, 226--227."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.2307\/2333709"},{"key":"e_1_3_2_1_32_1","volume-title":"A survey on algorithmic debugging strategies. Advances in engineering software 42, 11","author":"Silva Josep","year":"2011","unstructured":"Josep Silva . 2011. A survey on algorithmic debugging strategies. Advances in engineering software 42, 11 ( 2011 ), 976--991. Josep Silva. 2011. A survey on algorithmic debugging strategies. Advances in engineering software 42, 11 (2011), 976--991."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"},{"volume-title":"Why programs fail: a guide to systematic debugging. Morgan Kaufmann","author":"Zeller Andreas","key":"e_1_3_2_1_35_1","unstructured":"Andreas Zeller . 2009. Why programs fail: a guide to systematic debugging. Morgan Kaufmann , San Francisco, CA . Andreas Zeller. 2009. Why programs fail: a guide to systematic debugging. Morgan Kaufmann, San Francisco, CA."}],"event":{"name":"SBES 2019: XXXIII Brazilian Symposium on Software Engineering","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Salvador Brazil","acronym":"SBES 2019"},"container-title":["Proceedings of the XXXIII Brazilian Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3350768.3350777","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3350768.3350777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:21Z","timestamp":1750200081000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3350768.3350777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,23]]},"references-count":33,"alternative-id":["10.1145\/3350768.3350777","10.1145\/3350768"],"URL":"https:\/\/doi.org\/10.1145\/3350768.3350777","relation":{},"subject":[],"published":{"date-parts":[[2019,9,23]]},"assertion":[{"value":"2019-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}