{"id":"https://openalex.org/W2045078760","doi":"https://doi.org/10.1145/1735935.1735938","title":"Diagnosis and semi-automatic correction of detected design inconsistencies in source code","display_name":"Diagnosis and semi-automatic correction of detected design inconsistencies in source code","publication_year":2009,"publication_date":"2009-08-31","ids":{"openalex":"https://openalex.org/W2045078760","doi":"https://doi.org/10.1145/1735935.1735938","mag":"2045078760"},"language":"en","primary_location":{"id":"doi:10.1145/1735935.1735938","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1735935.1735938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Workshop on Smalltalk Technologies","raw_type":"proceedings-article"},"type":"article","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/A5103028317","display_name":"Sergio Castro","orcid":"https://orcid.org/0000-0001-9768-7547"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Sergio Castro","raw_affiliation_strings":["Universit\u00e9 catholique de Louvain, Louvain-la-Neuve, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 catholique de Louvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077483831","display_name":"Johan Brichau","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Johan Brichau","raw_affiliation_strings":["Universit\u00e9 catholique de Louvain, Louvain-la-Neuve, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 catholique de Louvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074052329","display_name":"Kim Mens","orcid":"https://orcid.org/0000-0003-0303-1630"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Kim Mens","raw_affiliation_strings":["Universit\u00e9 catholique de Louvain, Louvain-la-Neuve, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 catholique de Louvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103028317"],"corresponding_institution_ids":["https://openalex.org/I95674353"],"apc_list":null,"apc_paid":null,"fwci":1.5526,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.88588053,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"8","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991000294685364,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7460311055183411},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5411623120307922},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.49635082483291626},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4030904173851013},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.060313880443573}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7460311055183411},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5411623120307922},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.49635082483291626},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4030904173851013},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.060313880443573}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1735935.1735938","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1735935.1735938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Workshop on Smalltalk Technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.153.6396","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.6396","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.esug.org/data/ESUG2009/IWST/iwst09_submission_14.pdf","raw_type":"text"},{"id":"pmh:oai:dial.uclouvain.be:boreal:90526","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078.1/90526","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W2143074","https://openalex.org/W4791359","https://openalex.org/W53513500","https://openalex.org/W61686890","https://openalex.org/W99636061","https://openalex.org/W139932069","https://openalex.org/W227342030","https://openalex.org/W1488560674","https://openalex.org/W1509180139","https://openalex.org/W1510555031","https://openalex.org/W1523106450","https://openalex.org/W1546644035","https://openalex.org/W1563525108","https://openalex.org/W1649645444","https://openalex.org/W1776817732","https://openalex.org/W1868410565","https://openalex.org/W1934235886","https://openalex.org/W1968128450","https://openalex.org/W1976879398","https://openalex.org/W1986781756","https://openalex.org/W2011488847","https://openalex.org/W2023578426","https://openalex.org/W2036093764","https://openalex.org/W2045811168","https://openalex.org/W2052592404","https://openalex.org/W2072267206","https://openalex.org/W2079900788","https://openalex.org/W2099571428","https://openalex.org/W2108309071","https://openalex.org/W2113435553","https://openalex.org/W2124405605","https://openalex.org/W2131764770","https://openalex.org/W2142634407","https://openalex.org/W2153474105","https://openalex.org/W2154673038","https://openalex.org/W2288572692","https://openalex.org/W2294305189","https://openalex.org/W2294967233","https://openalex.org/W2330597747","https://openalex.org/W2478547901","https://openalex.org/W2772521659","https://openalex.org/W2924068956","https://openalex.org/W3132568617","https://openalex.org/W4285719527","https://openalex.org/W6600092508","https://openalex.org/W6600220466","https://openalex.org/W6630400085","https://openalex.org/W6630451544","https://openalex.org/W6633660393","https://openalex.org/W6638050419"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W3081644756"],"abstract_inverted_index":{"In":[0,43,76,90],"order":[1],"to":[2,52,66,84,123,126],"alleviate":[3],"design":[4,8,19,25],"decay,":[5],"different":[6],"program":[7],"documentation":[9,26],"techniques":[10,27],"are":[11,49,62],"used":[12],"for":[13,33,97,113],"the":[14,34,98,107],"specification":[15],"and":[16,36,60,100],"detection":[17],"of":[18,40,56,69,104,109,144],"inconsistencies":[20,105],"in":[21,106],"code.":[22],"However,":[23],"these":[24],"do":[28],"not":[29,63],"always":[30],"provide":[31],"support":[32],"diagnosis":[35,99],"(semi-)":[37,101],"automatic":[38,102],"correction":[39,103],"such":[41],"inconsistencies.":[42],"case":[44],"they":[45,61,78],"do,":[46],"corrective":[47,82,134],"solutions":[48,125],"typically":[50],"targeted":[51],"a":[53,74,95],"reduced":[54],"set":[55],"pre-defined":[57],"inconsistency":[58,88,114],"problems,":[59],"easily":[64],"customizable":[65],"new":[67,86],"kinds":[68],"consistency":[70],"checks":[71],"defined":[72],"by":[73],"user.":[75],"particular,":[77],"cannot":[79],"infer":[80,124],"possible":[81],"actions":[83],"solve":[85],"user-defined":[87,128],"problems.":[89],"this":[91],"paper,":[92],"we":[93],"present":[94],"technique":[96,118,141],"context":[108],"an":[110],"existing":[111],"tool":[112],"management:":[115],"IntensiVE.":[116],"Our":[117],"uses":[119],"logic":[120],"abductive":[121],"reasoning":[122],"detected":[127],"inconsistencies,":[129],"starting":[130],"from":[131],"basic":[132],"composable":[133],"actions.":[135],"A":[136],"first":[137],"prototype":[138],"implementing":[139],"our":[140],"on":[142],"top":[143],"IntensiVE":[145],"is":[146],"shown.":[147]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}