{"id":"https://openalex.org/W2002013060","doi":"https://doi.org/10.1145/1118537.1123070","title":"Constraint satisfaction techniques for diagnosing errors in design by contract software","display_name":"Constraint satisfaction techniques for diagnosing errors in design by contract software","publication_year":2005,"publication_date":"2005-09-05","ids":{"openalex":"https://openalex.org/W2002013060","doi":"https://doi.org/10.1145/1118537.1123070","mag":"2002013060"},"language":"en","primary_location":{"id":"doi:10.1145/1118537.1123070","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1118537.1123070","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://idus.us.es/handle//11441/130006","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063867273","display_name":"Rafael Ceballos","orcid":"https://orcid.org/0000-0001-7144-8011"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Rafael Ceballos","raw_affiliation_strings":["Inform\u00e1ticos, U. de Sevilla, Seville, Spain"],"affiliations":[{"raw_affiliation_string":"Inform\u00e1ticos, U. de Sevilla, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074878843","display_name":"Rafael M. Gasca","orcid":"https://orcid.org/0000-0003-2348-7424"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Rafael Martinez Gasca","raw_affiliation_strings":["Inform\u00e1ticos, U. de Sevilla, Seville, Spain"],"affiliations":[{"raw_affiliation_string":"Inform\u00e1ticos, U. de Sevilla, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014104080","display_name":"Diana Borrego","orcid":"https://orcid.org/0000-0002-7471-9208"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Diana Borrego","raw_affiliation_strings":["Inform\u00e1ticos, U. de Sevilla, Seville, Spain"],"affiliations":[{"raw_affiliation_string":"Inform\u00e1ticos, U. de Sevilla, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5063867273"],"corresponding_institution_ids":["https://openalex.org/I79238269"],"apc_list":null,"apc_paid":null,"fwci":0.7163,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.73666667,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"31","issue":"2","first_page":"11","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9970999956130981,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9970999956130981,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9968000054359436,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9965000152587891,"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/computer-science","display_name":"Computer science","score":0.7456865906715393},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.6633237600326538},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6567608118057251},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.6114211678504944},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5537699460983276},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5228365063667297},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5083650946617126},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.48633629083633423},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.4796038866043091},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.45714855194091797},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4570264518260956},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4526692032814026},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3339139521121979},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1946238875389099},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13228502869606018},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11381897330284119}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7456865906715393},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.6633237600326538},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6567608118057251},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.6114211678504944},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5537699460983276},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5228365063667297},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5083650946617126},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.48633629083633423},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4796038866043091},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.45714855194091797},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4570264518260956},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4526692032814026},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3339139521121979},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1946238875389099},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13228502869606018},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11381897330284119},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1118537.1123070","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1118537.1123070","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},{"id":"pmh:oai:idus.us.es:11441/130006","is_oa":true,"landing_page_url":"https://idus.us.es/handle//11441/130006","pdf_url":null,"source":{"id":"https://openalex.org/S4306400333","display_name":"idUS (Universidad de Sevilla)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79238269","host_organization_name":"Universidad de Sevilla","host_organization_lineage":["https://openalex.org/I79238269"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:idus.us.es:11441/130006","is_oa":true,"landing_page_url":"https://idus.us.es/handle//11441/130006","pdf_url":null,"source":{"id":"https://openalex.org/S4306400333","display_name":"idUS (Universidad de Sevilla)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79238269","host_organization_name":"Universidad de Sevilla","host_organization_lineage":["https://openalex.org/I79238269"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1537770910","https://openalex.org/W2003116861","https://openalex.org/W2052363833","https://openalex.org/W2105821857","https://openalex.org/W4250487516","https://openalex.org/W6632069512"],"related_works":["https://openalex.org/W1563640917","https://openalex.org/W2950931678","https://openalex.org/W2142173072","https://openalex.org/W2623911252","https://openalex.org/W4211053310","https://openalex.org/W1563304550","https://openalex.org/W2330428294","https://openalex.org/W2170828412","https://openalex.org/W2063515892","https://openalex.org/W2002013060"],"abstract_inverted_index":{"Design":[0,32],"by":[1,33,43],"Contract":[2],"enables":[3],"the":[4,29,53,64],"development":[5],"of":[6,31,52],"more":[7],"reliable":[8],"and":[9,37,68,75,82],"robust":[10],"software":[11,22],"applications.":[12],"In":[13],"this":[14],"paper,":[15],"a":[16],"methodology":[17,61],"that":[18],"diagnoses":[19],"errors":[20],"in":[21],"is":[23,26,80,83],"proposed.":[24],"This":[25],"based":[27,84],"on":[28,85],"combination":[30],"Contract,":[34],"Model-based":[35],"Diagnosis":[36],"Constraint":[38],"Programming.":[39],"Contracts":[40],"are":[41,56,66,71],"specified":[42],"using":[44],"assertions.":[45],"These":[46],"assertions":[47],"together":[48],"with":[49],"an":[50],"abstraction":[51],"source":[54,76],"code":[55],"transformed":[57],"into":[58],"constraints.":[59],"The":[60,78],"detects":[62],"if":[63,69],"contracts":[65,74],"consistent,":[67],"there":[70],"incompatibilities":[72],"between":[73],"code.":[77],"process":[79],"automatic":[81],"constraint":[86],"programming.":[87]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}