{"id":"https://openalex.org/W2051181744","doi":"https://doi.org/10.1109/tse.2014.2339829","title":"On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software","display_name":"On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software","publication_year":2014,"publication_date":"2014-07-16","ids":{"openalex":"https://openalex.org/W2051181744","doi":"https://doi.org/10.1109/tse.2014.2339829","mag":"2051181744"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2014.2339829","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2014.2339829","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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/A5070663085","display_name":"Wladimir Araujo","orcid":null},"institutions":[{"id":"https://openalex.org/I1339145263","display_name":"Juniper Networks (United States)","ror":"https://ror.org/02pwct569","country_code":"US","type":"company","lineage":["https://openalex.org/I1339145263"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wladimir Araujo","raw_affiliation_strings":["Juniper Networks, 1194\u00a0N Mathilda Ave, Sunnyvale, CA 94089"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Juniper Networks, 1194\u00a0N Mathilda Ave, Sunnyvale, CA 94089","institution_ids":["https://openalex.org/I1339145263"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Lionel C. Briand","raw_affiliation_strings":["SnT Centre, University of Luxembourg, 6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg-Kirchberg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, 6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg-Kirchberg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007057846","display_name":"Yvan Labiche","orcid":"https://orcid.org/0000-0001-8880-4836"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yvan Labiche","raw_affiliation_strings":["Systems and Computer Engineering Department, Carleton University, 1125 Colonel By Drive, Ottawa, Canada",", Systems and Computer Engineering Department, Carleton University, 1125 Colonel By Drive, Ottawa, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems and Computer Engineering Department, Carleton University, 1125 Colonel By Drive, Ottawa, Canada","institution_ids":["https://openalex.org/I67031392"]},{"raw_affiliation_string":", Systems and Computer Engineering Department, Carleton University, 1125 Colonel By Drive, Ottawa, Canada","institution_ids":["https://openalex.org/I67031392"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2343,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.92965846,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"40","issue":"10","first_page":"971","last_page":"992"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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.8756248950958252},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.7916680574417114},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5806941390037537},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.506051242351532},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5054836273193359},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.5037364363670349},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.44045257568359375},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4349218010902405},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.41360390186309814},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4127435088157654},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4121282994747162},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3330194354057312}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8756248950958252},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.7916680574417114},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5806941390037537},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.506051242351532},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5054836273193359},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.5037364363670349},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.44045257568359375},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4349218010902405},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.41360390186309814},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4127435088157654},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4121282994747162},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3330194354057312},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2014.2339829","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2014.2339829","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/16928","is_oa":false,"landing_page_url":"https://orbilu.uni.lu/handle/10993/16928","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Software Engineering, 40(10), 971-992. New York, NY: Institute of Electrical and Electronics Engineers (2014).","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W127224647","https://openalex.org/W770523223","https://openalex.org/W1480522639","https://openalex.org/W1506006744","https://openalex.org/W1533109738","https://openalex.org/W1535103785","https://openalex.org/W1555070304","https://openalex.org/W1591007360","https://openalex.org/W1910771831","https://openalex.org/W1964962870","https://openalex.org/W1995008247","https://openalex.org/W1999075586","https://openalex.org/W2018464987","https://openalex.org/W2023730632","https://openalex.org/W2044427446","https://openalex.org/W2052363833","https://openalex.org/W2055095027","https://openalex.org/W2059295282","https://openalex.org/W2077894274","https://openalex.org/W2082766667","https://openalex.org/W2094160561","https://openalex.org/W2103591546","https://openalex.org/W2105821857","https://openalex.org/W2106860490","https://openalex.org/W2107778618","https://openalex.org/W2108404293","https://openalex.org/W2113061194","https://openalex.org/W2119582290","https://openalex.org/W2122519137","https://openalex.org/W2124621264","https://openalex.org/W2127826252","https://openalex.org/W2132980721","https://openalex.org/W2137270184","https://openalex.org/W2138556149","https://openalex.org/W2138652462","https://openalex.org/W2145071982","https://openalex.org/W2151618441","https://openalex.org/W2161079291","https://openalex.org/W2162247081","https://openalex.org/W2953254264","https://openalex.org/W4243194988","https://openalex.org/W4247510043","https://openalex.org/W4247729430","https://openalex.org/W4250487516","https://openalex.org/W6628620718","https://openalex.org/W6631877697","https://openalex.org/W6633021120","https://openalex.org/W6676317550"],"related_works":["https://openalex.org/W4303457073","https://openalex.org/W94714675","https://openalex.org/W2051591137","https://openalex.org/W2798306226","https://openalex.org/W2964704886","https://openalex.org/W886427026","https://openalex.org/W3125292927","https://openalex.org/W4386970213","https://openalex.org/W1494025131","https://openalex.org/W2209071826"],"abstract_inverted_index":{"Design":[0],"by":[1,53],"contract":[2,150],"(DbC)":[3],"is":[4,145],"a":[5,83,89,154,164,201],"software":[6,93,197,209],"development":[7],"methodology":[8],"that":[9,161,190],"focuses":[10],"on":[11,88,118],"clearly":[12],"defining":[13],"the":[14,45,55,62,96,101,139,149,180,206],"interfaces":[15],"between":[16],"components":[17],"to":[18,36,66,72,99,129,141,195,204],"produce":[19],"better":[20],"quality":[21],"object-oriented":[22],"software.":[23,116],"Though":[24],"there":[25],"exists":[26],"ample":[27],"support":[28,73],"for":[29,31,127,134,183],"DbC":[30,35,74,191],"sequential":[32],"programs,":[33],"applying":[34],"concurrent":[37,76,91,115,135,196],"programs":[38,136],"presents":[39],"several":[40],"challenges.":[41],"Using":[42],"Java":[43,56],"as":[44,105],"target":[46],"programming":[47],"language,":[48],"we":[49,156],"tackle":[50],"such":[51,184],"challenges":[52],"augmenting":[54],"Modelling":[57],"Language":[58],"(JML)":[59],"and":[60,110,122,169,178,198],"modifying":[61],"JML":[63],"compiler":[64],"(jmlc)":[65],"generate":[67],"runtime":[68],"assertion":[69],"checking":[70],"code":[71],"in":[75,82,108,114],"programs.":[77],"We":[78],"applied":[79,194],"our":[80],"solution":[81],"carefully":[84],"designed":[85],"case":[86],"study":[87],"highly":[90],"industrial":[92],"system":[94],"from":[95],"telecommunications":[97],"domain":[98],"assess":[100],"effectiveness":[102],"of":[103,163,167,176,208],"contracts":[104,128,162],"test":[106,132],"oracles":[107,133],"detecting":[109],"diagnosing":[111],"functional":[112],"faults":[113,177,185],"Based":[117],"these":[119],"results,":[120],"clear":[121],"objective":[123],"requirements":[124],"are":[125],"defined":[126],"be":[130,193,200],"effective":[131],"whilst":[137],"balancing":[138],"effort":[140,182],"design":[142],"them.":[143],"Effort":[144],"measured":[146],"indirectly":[147],"through":[148],"complexity":[151,170],"measure":[152,155],"(CCM),":[153],"define.":[157],"Main":[158],"results":[159],"include":[160],"realistic":[165],"level":[166],"completeness":[168],"can":[171,192,199],"detect":[172],"around":[173],"76":[174],"percent":[175],"reduce":[179],"diagnosis":[181],"tenfold.":[186],"We,":[187],"therefore,":[188],"show":[189],"valuable":[202],"tool":[203],"improve":[205],"economics":[207],"engineering.":[210]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}