{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:05Z","timestamp":1750220045060,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,3]],"date-time":"2022-10-03T00:00:00Z","timestamp":1664755200000},"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":[[2022,10,3]]},"DOI":"10.1145\/3559744.3559750","type":"proceedings-article","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:07:11Z","timestamp":1664035631000},"page":"39-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Data flow Subsumption and its Impact on Spectrum-based Fault Localization"],"prefix":"10.1145","author":[{"given":"Dennis","family":"Lopes Da Silva","sequence":"first","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}]},{"given":"Marcos","family":"Lordello Chaim","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}]},{"given":"Higor","family":"Amario De Souza","sequence":"additional","affiliation":[{"name":"Virtual University of the State of Sao Paulo, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"volume-title":"Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION(TAICPART-MUTATION \u201907)","author":"Abreu Rui","key":"e_1_3_2_1_2_1","unstructured":"Rui Abreu , Peter Zoeteweij , and Arjan J . \u00a0C. van Gemund. 2007. On the accuracy of spectrum-based fault localization . In Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION(TAICPART-MUTATION \u201907) . 89\u201398. Rui Abreu, Peter Zoeteweij, and Arjan J.\u00a0C. van Gemund. 2007. On the accuracy of spectrum-based fault localization. In Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION(TAICPART-MUTATION \u201907). 89\u201398."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170072"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693085"},{"volume-title":"Proceedings of the 14th IEEE International Conference on Software Testing, Verification and Validation(ICST\u201921)","author":"Chaim Marcos\u00a0Lordello","key":"e_1_3_2_1_5_1","unstructured":"Marcos\u00a0Lordello Chaim , Kesina Baral , Jeff Offutt , Mario Concilio , and Roberto P . \u00a0A. Araujo. 2021. Efficiently finding data flow subsumptions . In Proceedings of the 14th IEEE International Conference on Software Testing, Verification and Validation(ICST\u201921) . 94\u2013104. Marcos\u00a0Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio, and Roberto P.\u00a0A. Araujo. 2021. Efficiently finding data flow subsumptions. In Proceedings of the 14th IEEE International Conference on Software Testing, Verification and Validation(ICST\u201921). 94\u2013104."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/319568.319646"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.14257\/ijca.2013.6.5.11"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 7th IEEE International Conference on Software Testing, Verification and Validation(ICST \u201914)","author":"Andrioli de Araujo Roberto","year":"2014","unstructured":"Roberto Paulo\u00a0 Andrioli de Araujo and Marcos\u00a0Lordello Chaim . 2014 . Data-flow testing in the large . In Proceedings of the 7th IEEE International Conference on Software Testing, Verification and Validation(ICST \u201914) . 81\u201390. Roberto Paulo\u00a0Andrioli de Araujo and Marcos\u00a0Lordello Chaim. 2014. Data-flow testing in the large. In Proceedings of the 7th IEEE International Conference on Software Testing, Verification and Validation(ICST \u201914). 81\u201390."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101979"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257766"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.11.1109"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1245299"},{"key":"e_1_3_2_1_15_1","unstructured":"F\u00e1bio\u00a0Mac\u00eado Mendes. 2006. Entropias generalizadas e os fundamentos estat\u00edsticos da termodin\u00e2mica. Master\u2019s thesis. Universidade de Bras\u00edlia.  F\u00e1bio\u00a0Mac\u00eado Mendes. 2006. Entropias generalizadas e os fundamentos estat\u00edsticos da termodin\u00e2mica. Master\u2019s thesis. Universidade de Bras\u00edlia."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00048"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2019.8870182"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IS.2012.6335163"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070508"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09931-7"},{"key":"e_1_3_2_1_24_1","unstructured":"Higor Amario\u00a0De Souza Marcos\u00a0Lordello Chaim and Fabio Kon. 2016. Spectrum-based Software Fault Localization: A Survey of Techniques Advances and Challenges. arXiv preprint arXiv:1607.04347(2016).  Higor Amario\u00a0De Souza Marcos\u00a0Lordello Chaim and Fabio Kon. 2016. Spectrum-based Software Fault Localization: A Survey of Techniques Advances and Challenges. arXiv preprint arXiv:1607.04347(2016)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884834"},{"volume-title":"Why Programs Fail: A Guide to Systematic Debugging","author":"Zeller Andreas","key":"e_1_3_2_1_26_1","unstructured":"Andreas Zeller . 2005. Why Programs Fail: A Guide to Systematic Debugging . Morgan Kaufmann Publishers Inc . Andreas Zeller. 2005. Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.6.10.1977-1984"}],"event":{"name":"SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing","acronym":"SAST 2022","location":"Uberlandia Brazil"},"container-title":["Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3559744.3559750","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3559744.3559750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:07:57Z","timestamp":1750183677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3559744.3559750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,3]]},"references-count":27,"alternative-id":["10.1145\/3559744.3559750","10.1145\/3559744"],"URL":"https:\/\/doi.org\/10.1145\/3559744.3559750","relation":{},"subject":[],"published":{"date-parts":[[2022,10,3]]},"assertion":[{"value":"2022-10-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}