{"id":"https://openalex.org/W1976071977","doi":"https://doi.org/10.1117/12.964119","title":"A Program Error Localization Expert System","display_name":"A Program Error Localization Expert System","publication_year":1986,"publication_date":"1986-03-26","ids":{"openalex":"https://openalex.org/W1976071977","doi":"https://doi.org/10.1117/12.964119","mag":"1976071977"},"language":"en","primary_location":{"id":"doi:10.1117/12.964119","doi":"https://doi.org/10.1117/12.964119","is_oa":false,"landing_page_url":"https://doi.org/10.1117/12.964119","pdf_url":null,"source":{"id":"https://openalex.org/S183492911","display_name":"Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE","issn_l":"0277-786X","issn":["0277-786X","1996-756X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310315543","host_organization_name":"SPIE","host_organization_lineage":["https://openalex.org/P4310315543"],"host_organization_lineage_names":["SPIE"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SPIE Proceedings","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063491923","display_name":"Bogdan Korel","orcid":"https://orcid.org/0000-0001-7334-3731","observed_orcids":["https://orcid.org/0000-0001-7334-3731"]},"institutions":[{"id":"https://openalex.org/I177721651","display_name":"Oakland University","ror":"https://ror.org/01ythxj32","country_code":"US","type":"education","lineage":["https://openalex.org/I177721651"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Bogdan Korel","raw_affiliation_strings":["Oakland University (United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oakland University (United States)","institution_ids":["https://openalex.org/I177721651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5063491923"],"corresponding_institution_ids":["https://openalex.org/I177721651"],"apc_list":null,"apc_paid":null,"fwci":0.2677,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.39230769,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"0635","issue":null,"first_page":"111","last_page":"111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.003700000001117587,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13734","display_name":"Advanced Computational Techniques and Applications","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/error-localization","display_name":"error localization","score":0.8629999756813049},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.9679999947547913},{"id":"https://openalex.org/keywords/expert-systems","display_name":"expert systems","score":0.9710000157356262},{"id":"https://openalex.org/keywords/pascal-programs","display_name":"Pascal programs","score":0.8600000143051147},{"id":"https://openalex.org/keywords/execution-traces","display_name":"execution traces","score":0.5170000195503235},{"id":"https://openalex.org/keywords/hypothesis-generation","display_name":"hypothesis generation","score":0.5189999938011169},{"id":"https://openalex.org/keywords/interactive-debugging","display_name":"interactive debugging","score":0.5699999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6884923577308655},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.49226322770118713},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29079145193099976}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1117/12.964119","doi":"https://doi.org/10.1117/12.964119","is_oa":false,"landing_page_url":"https://doi.org/10.1117/12.964119","pdf_url":null,"source":{"id":"https://openalex.org/S183492911","display_name":"Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE","issn_l":"0277-786X","issn":["0277-786X","1996-756X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310315543","host_organization_name":"SPIE","host_organization_lineage":["https://openalex.org/P4310315543"],"host_organization_lineage_names":["SPIE"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SPIE Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1979277605","https://openalex.org/W1999922323","https://openalex.org/W2991177540","https://openalex.org/W2166521662","https://openalex.org/W962129127","https://openalex.org/W1483022001","https://openalex.org/W7208284805","https://openalex.org/W2163352147","https://openalex.org/W1559721426","https://openalex.org/W2146289202"],"abstract_inverted_index":{"Error":[0],"localization":[1,24],"in":[2,80,135,210,219],"program":[3,10,49,65,89,104,122],"debugging":[4,32],"is":[5,38,106,113,131,182,243],"the":[6,22,42,45,48,56,64,86,93,96,109,116,128,136,140,153,175,185,191,202,211,237,247],"process":[7,241],"of":[8,21,33,47,63,85,88,98,103,118,145,196,198,201,216,227,249],"identifying":[9],"statements":[11],"which":[12,27,112,163],"cause":[13],"incorrect":[14],"behavior.":[15,155],"This":[16,214],"paper":[17],"describes":[18],"a":[19,29,71,143,160,254],"prototype":[20],"error":[23,251],"expert":[25,234],"system":[26,37,75,235],"guides":[28],"programmer":[30,43,238],"during":[31,245],"Pascal":[34],"programs.":[35],"The":[36,74,101,124,179,204,233],"interactive:":[39],"it":[40,68,82],"queries":[41],"for":[44,152],"correctness":[46],"behavior":[50],"and":[51,194,225],"uses":[52],"answers":[53],"to":[54,142,162,165,168,173,189],"focus":[55,174],"programmer's":[57,176],"attention":[58,177],"on":[59,115],"an":[60,170,223,250],"erroneous":[61],"part":[62],"(in":[66],"particular,":[67],"can":[69],"localize":[70],"faulty":[72,154],"statement).":[73],"differs":[76],"from":[77,139,239],"previous":[78],"approaches":[79],"that":[81,132,242],"makes":[83],"use":[84],"knowledge":[87,94,102],"structure":[90,105],"rather":[91],"than":[92],"at":[95],"level":[97],"symptom-fault":[99],"rules.":[100],"represented":[107],"by":[108,184],"dependence":[110,119,129,157,180],"network":[111,130,181],"based":[114],"concept":[117],"relationship":[120],"between":[121],"instructions.":[123],"inspiration":[125],"behind":[126],"using":[127,253],"any":[133],"instruction":[134,164],"execution":[137],"trace":[138],"beginning":[141],"position":[144],"incorrectness":[146],"could":[147],"conceivably":[148],"have":[149],"been":[150,208],"responsible":[151],"Using":[156],"network,":[158],"as":[159],"guide":[161,190],"examine,":[166],"seems":[167],"be":[169],"effective":[171],"way":[172],"appropriately.":[178],"used":[183],"error-locating":[186],"reasoning":[187,206,212,217],"mechanism":[188],"construction,":[192],"evaluation,":[193],"modification":[195],"hypotheses":[197],"possible":[199],"causes":[200],"error.":[203],"backtracking":[205],"has":[207],"implemented":[209],"mechanism.":[213],"type":[215],"is,":[218],"some":[220],"sense,":[221],"just":[222],"abstraction":[224],"elaboration":[226],"what":[228],"experienced":[229],"programmers":[230],"do":[231],"intuitively.":[232],"frees":[236],"trial-and-error":[240],"typical":[244],"locating":[246],"source":[248],"when":[252],"traditional":[255],"break-and-examine":[256],"debugger.":[257]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2016-06-24T00:00:00"}