{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:45Z","timestamp":1750220745496,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T00:00:00Z","timestamp":1595030400000},"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":[[2020,7,18]]},"DOI":"10.1145\/3395363.3404367","type":"proceedings-article","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T21:44:18Z","timestamp":1594676658000},"page":"561-564","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["ProFL: a fault localization framework for Prolog"],"prefix":"10.1145","author":[{"given":"George","family":"Thompson","sequence":"first","affiliation":[{"name":"North Carolina A&T State University, USA"}]},{"given":"Allison K.","family":"Sullivan","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,7,18]]},"reference":[{"volume-title":"van Gemund","year":"2009","author":"Abreu Rui","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","unstructured":"Ivan Bratko. 2001. Prolog programming for artificial intelligence. Pearson education.  Ivan Bratko. 2001. Prolog programming for artificial intelligence. Pearson education."},{"volume-title":"International Workshop on Functional and Constraint Logic Programming. Springer, 39-55","year":"2018","author":"Efremidis Alexandros","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"volume-title":"Jones and Mary Jean Harrold","year":"2005","author":"James","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","unstructured":"Simon Marlow et al. 2010. Haskell 2010 language report. Available online http:\/\/www. haskell. org\/(May 2011 ) ( 2010 ).  Simon Marlow et al. 2010. Haskell 2010 language report. Available online http:\/\/www. haskell. org\/(May 2011 ) ( 2010 )."},{"volume-title":"Mutants: Mutating Faulty Programs for Fault Localization. In ICST.","year":"2014","author":"Moon S.","key":"e_1_3_2_1_7_1"},{"volume-title":"Hua Jie Lee, and Kotagiri Ramamohanarao","year":"2011","author":"Naish Lee","key":"e_1_3_2_1_8_1"},{"volume-title":"Last","year":"2008","author":"Pratt Philip J.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491187"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Maarten W. Van Someren. 1990. What's wrong? Understanding beginners' problems with Prolog. Instructional Science 19 4 \/5 ( 1990 ) 257-282.  Maarten W. Van Someren. 1990. What's wrong? Understanding beginners' problems with Prolog. Instructional Science 19 4 \/5 ( 1990 ) 257-282.","DOI":"10.1007\/BF00116441"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Shanshan Yang and Mike Joy. 2007. Approaches for Learning Prolog Programming. Innovation in Teaching and Learning in Information and Computer Sciences 6 4 ( 2007 ) 88-107.  Shanshan Yang and Mike Joy. 2007. Approaches for Learning Prolog Programming. Innovation in Teaching and Learning in Information and Computer Sciences 6 4 ( 2007 ) 88-107.","DOI":"10.11120\/ital.2007.06040088"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Pamela Zave. 2012. Using Lightweight Modeling to Understand Chord. SIGCOMM Comput. Commun. Rev. 42 ( 2012 ) 49-57.  Pamela Zave. 2012. Using Lightweight Modeling to Understand Chord. SIGCOMM Comput. Commun. Rev. 42 ( 2012 ) 49-57.","DOI":"10.1145\/2185376.2185383"}],"event":{"name":"ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Event USA","acronym":"ISSTA '20"},"container-title":["Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3404367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3395363.3404367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:45Z","timestamp":1750199925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3404367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,18]]},"references-count":14,"alternative-id":["10.1145\/3395363.3404367","10.1145\/3395363"],"URL":"https:\/\/doi.org\/10.1145\/3395363.3404367","relation":{},"subject":[],"published":{"date-parts":[[2020,7,18]]},"assertion":[{"value":"2020-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}