{"id":"https://openalex.org/W1483022001","doi":null,"title":"DEBUGGING USING PARTIAL MODELS","display_name":"DEBUGGING USING PARTIAL MODELS","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W1483022001","mag":"1483022001"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.72.2164","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.2164","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.csse.monash.edu/~webb/Files/SmithWebb91.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5101600231","display_name":"Philip A. Smith","orcid":"https://orcid.org/0000-0003-3001-0245","observed_orcids":["https://orcid.org/0000-0003-3001-0245"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philip Smith","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3001-0245","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5058054791","display_name":"Geoffrey I. Webb","orcid":"https://orcid.org/0000-0001-9963-5169","observed_orcids":["https://orcid.org/0000-0001-9963-5169"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Geoffrey I. Webb","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-9963-5169","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.5961999893188477,"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.5961999893188477,"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/T10533","display_name":"Teaching and Learning Programming","score":0.32690000534057617,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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.044199999421834946,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.9120000004768372},{"id":"https://openalex.org/keywords/partial-models","display_name":"partial models","score":0.8349999785423279},{"id":"https://openalex.org/keywords/expert-systems","display_name":"expert systems","score":0.9409999847412109},{"id":"https://openalex.org/keywords/pascal-programs","display_name":"Pascal programs","score":0.8799999952316284},{"id":"https://openalex.org/keywords/student-involvement","display_name":"student involvement","score":0.5440000295639038},{"id":"https://openalex.org/keywords/computational-overhead","display_name":"computational overhead","score":0.6919999718666077}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9128262996673584},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7563496232032776},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7101395130157471},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.6904844641685486},{"id":"https://openalex.org/C75608658","wikidata":"https://www.wikidata.org/wiki/Q44395","display_name":"Pascal (unit)","level":2,"score":0.6877330541610718},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5728961825370789},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4784572124481201},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.4571712613105774}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.72.2164","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.2164","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.csse.monash.edu/~webb/Files/SmithWebb91.pdf","raw_type":"text"},{"id":"mag:1483022001","doi":null,"is_oa":false,"landing_page_url":"http://www.csse.monash.edu.au/~webb/Files/SmithWebb91.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1579344651","https://openalex.org/W2007798926","https://openalex.org/W2020368442","https://openalex.org/W2098614591","https://openalex.org/W2169663107","https://openalex.org/W2197069036"],"related_works":["https://openalex.org/W1999922323","https://openalex.org/W2083580067","https://openalex.org/W2991177540","https://openalex.org/W7100955332","https://openalex.org/W201207439","https://openalex.org/W2001864430","https://openalex.org/W2047570566","https://openalex.org/W2133039328","https://openalex.org/W2479187603","https://openalex.org/W2083762696"],"abstract_inverted_index":{"We":[0],"present":[1],"initial":[2],"work":[3],"on":[4],"an":[5],"expert":[6],"system":[7,18],"that":[8],"will":[9],"help":[10],"users":[11],"to":[12,25,42,44,65],"debug":[13],"their":[14],"Pascal":[15],"programs.":[16],"This":[17,47],"asks":[19],"the":[20,31,39,45,58,71,85],"user":[21],"questions":[22],"concerning":[23],"attempts":[24],"build":[26],"a":[27,33,54],"\u2018partial":[28],"model\u2019":[29],"of":[30,35,38,57,67,70,75],"program-":[32],"model":[34,56],"those":[36],"aspects":[37],"program":[40,60],"likely":[41],"relate":[43],"error.":[46],"contrasts":[48],"with":[49],"previous":[50],"systems":[51],"in":[52,84],"which":[53],"complete":[55],"user\u2019s":[59],"is":[61],"built":[62],"and":[63,88],"compared":[64],"templates":[66],"correct":[68],"versions":[69],"program.":[72],"The":[73],"advantages":[74],"this":[76],"approach":[77],"are":[78],"greater":[79,81],"flexibility,":[80],"student":[82],"involvement":[83],"debugging":[86],"process":[87],"lower":[89],"computational":[90],"overheads.":[91]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}