{"id":"https://openalex.org/W196532378","doi":null,"title":"A Framework for Testing Object-Oriented Components","display_name":"A Framework for Testing Object-Oriented Components","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W196532378","mag":"196532378"},"language":"en","primary_location":{"id":"mag:196532378","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.uic.edu/~buy/wtdcs.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},"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/A5045974765","display_name":"Ugo A. Buy","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ugo Buy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024976868","display_name":"Carlo Ghezzi","orcid":"https://orcid.org/0000-0002-7234-5011","observed_orcids":["https://orcid.org/0000-0002-7234-5011"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Carlo Ghezzi","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7234-5011","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030961858","display_name":"Alessandro Orso","orcid":"https://orcid.org/0000-0003-4516-9320","observed_orcids":["https://orcid.org/0000-0003-4516-9320"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alessandro Orso","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4516-9320","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5066540482","display_name":"Mauro Pezz\u00e8","orcid":"https://orcid.org/0000-0001-5193-7379","observed_orcids":["https://orcid.org/0000-0001-5193-7379"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mauro Pezz\u00e8","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5193-7379","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":5,"citation_normalized_percentile":{"value":0.00308748,"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.9990000128746033,"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.9990000128746033,"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.000699999975040555,"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.0,"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/component-testing","display_name":"component testing","score":0.8640000224113464},{"id":"https://openalex.org/keywords/object-oriented-software","display_name":"object-oriented software","score":0.8169999718666077},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"data flow analysis","score":0.8640000224113464},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"symbolic execution","score":0.9700000286102295},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"automated theorem proving","score":0.9259999990463257},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.5299999713897705},{"id":"https://openalex.org/keywords/preconditions-and-postconditions","display_name":"preconditions and postconditions","score":0.9330000281333923},{"id":"https://openalex.org/keywords/integration-testing","display_name":"integration testing","score":0.6470000147819519},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"component-based software engineering","score":0.6650000214576721},{"id":"https://openalex.org/keywords/javabeans","display_name":"JavaBeans","score":0.5979999899864197},{"id":"https://openalex.org/keywords/corba","display_name":"CORBA","score":0.9879999756813049},{"id":"https://openalex.org/keywords/dcom","display_name":"DCOM","score":0.9900000095367432},{"id":"https://openalex.org/keywords/structural-testing","display_name":"structural testing","score":0.39500001072883606},{"id":"https://openalex.org/keywords/test-adequacy-criteria","display_name":"test adequacy criteria","score":0.3779999911785126},{"id":"https://openalex.org/keywords/software-quality-assurance","display_name":"software quality assurance","score":0.33000001311302185},{"id":"https://openalex.org/keywords/software-reuse","display_name":"software reuse","score":0.4300000071525574}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7433519959449768},{"id":"https://openalex.org/C49312422","wikidata":"https://www.wikidata.org/wiki/Q691593","display_name":"Common Object Request Broker Architecture","level":2,"score":0.7270163297653198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7122077345848083},{"id":"https://openalex.org/C18640598","wikidata":"https://www.wikidata.org/wiki/Q259322","display_name":"JavaBeans","level":3,"score":0.6990020275115967},{"id":"https://openalex.org/C116840478","wikidata":"https://www.wikidata.org/wiki/Q906328","display_name":"Distributed Component Object Model","level":3,"score":0.6345645189285278},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.6335397958755493},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.6037734746932983},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5622694492340088},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.5193573236465454},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5055711269378662},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4659947156906128},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46501806378364563},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4642077088356018},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41475462913513184},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.39193791151046753},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32896339893341064},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.32655200362205505},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3242492079734802},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11340349912643433},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:196532378","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.uic.edu/~buy/wtdcs.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":11,"referenced_works":["https://openalex.org/W92425751","https://openalex.org/W167103701","https://openalex.org/W1520318394","https://openalex.org/W1549159967","https://openalex.org/W1576406833","https://openalex.org/W1984647091","https://openalex.org/W2024795941","https://openalex.org/W2134291258","https://openalex.org/W2151165139","https://openalex.org/W2170108788","https://openalex.org/W2521231592"],"related_works":["https://openalex.org/W7096790237","https://openalex.org/W1503548586","https://openalex.org/W7095185988","https://openalex.org/W1496784495","https://openalex.org/W3003480398","https://openalex.org/W2546710770","https://openalex.org/W2366051644","https://openalex.org/W7097208667","https://openalex.org/W4248393830","https://openalex.org/W2103814123"],"abstract_inverted_index":{"The":[0,94],"terms":[1],"\u201ccomponent\u201d":[2],"and":[3,31,50,69,89,114,168,310,369,404,435,443],"\u201ccomponent-based":[4],"software":[5,42,126,149],"engineering\u201d":[6],"are":[7,87,429],"relatively":[8],"recent.":[9],"Although":[10,117],"there":[11,118],"is":[12,57,96,119,153,235,299,393],"broad":[13],"agreement":[14],"on":[15,180,207,244,346],"the":[16,103,122,146,166,176,208,212,237,245,248,253,263,269,303,339,357,383,394,400,407,411,419,424,459,462,477,480,485],"meaning":[17],"of":[18,47,63,98,105,148,170,182,186,192,232,239,247,255,265,288,295,305,319,327,335,354,366,378,389,396,402,426,437,479],"these":[19,137,233],"terms,":[20],"different":[21,27,79,441],"authors":[22],"have":[23,219,440],"sometimes":[24],"used":[25,431,469],"slightly":[26],"interpretations.":[28],"Following":[29],"Brown":[30],"Wellnau":[32],"[4],":[33],"here":[34],"we":[35,178,197,344,362,465],"view":[36],"a":[37,45,58,61,142,190,202,240,259,276,364,438],"component":[38,56,85,203,340,358,412,439,451,481,491],"as":[39,108,204,470],"\u201ca":[40],"replaceable":[41],"unit":[43,309],"with":[44,160,216],"set":[46,62,191],"contractually-specified":[48],"interfaces":[49],"explicit":[51],"context":[52],"dependencies":[53],"only.\u201d":[54],"A":[55,387],"program":[59],"or":[60,73,189],"programs":[64,234],"developed":[65,90,215],"by":[66,71,132,268,284],"one":[67,72,460],"organization":[68],"deployed":[70],"more":[74],"other":[75,486],"organizations,":[76],"possibly":[77],"in":[78,124,145,165,175,211,330,349,356,373,399,410],"application":[80],"domains.":[81],"To":[82],"date,":[83],"many":[84],"systems":[86],"designed":[88],"using":[91],"object":[92,133,163,188,217,257,270],"technologies.":[93],"same":[95],"true":[97],"middleware":[99],"architectures":[100],"that":[101,121,156,184,222,236,273,381],"support":[102],"deployment":[104],"components,":[106],"such":[107],"Java":[109],"Beans":[110],"[3],":[111],"CORBA":[112],"[1],":[113],"DCOM":[115],"[5].":[116],"consensus":[120],"issues":[123],"component-based":[125],"engineering":[127],"cannot":[128],"be":[129,282,468,474],"solved":[130],"merely":[131],"technologies":[134,138,164,218],"[4,":[135],"14],":[136],"will":[139,158],"clearly":[140],"play":[141],"fundamental":[143],"role":[144],"production":[147],"components":[150,183,428],"[15].":[151],"It":[152],"quite":[154],"likely":[155,300],"developers":[157,434],"use":[159],"increasing":[161],"frequency":[162],"design":[167],"implementation":[169],"components.":[171],"For":[172],"this":[173,317],"reason,":[174],"sequel":[177],"focus":[179],"testing":[181,226,291,312,391,446,452,490],"consist":[185],"an":[187,256],"cooperating":[193],"objects.":[194],"In":[195],"addition,":[196],"consider":[198],"messages":[199,266,296],"sent":[200],"to":[201,272,301,332,351,375,473],"method":[205,241,323,336,379,392,420,463],"invocations":[206,337,380],"objects":[209],"contained":[210,409],"component.":[213],"Programs":[214],"unique":[220],"features":[221],"often":[223],"render":[224],"traditional":[225,308],"techniques":[227,313,372],"inadequate.":[228],"An":[229],"important":[230],"feature":[231],"behavior":[238],"may":[242,280],"depend":[243],"state":[246,254],"method\u2019s":[249],"receiver.":[250],"Of":[251],"course,":[252],"at":[258],"given":[260],"time":[261],"reflects":[262],"sequence":[264],"received":[267],"up":[271],"time.":[274],"As":[275],"result,":[277],"erroneous":[278],"behaviors":[279],"only":[281],"revealed":[283],"exercising":[285],"specific":[286],"sequences":[287,294,334,377,421,464],"messages.":[289],"Component":[290],"should":[292],"identify":[293,352,466],"whose":[297],"execution":[298,368],"show":[302],"existence":[304],"defects;":[306],"however,":[307],"integration":[311,417,489],"do":[314],"not":[315],"produce":[316,333],"kind":[318],"information":[320],"[2]":[321],"Our":[322,448],"uses":[324],"various":[325],"kinds":[326],"structural":[328],"analyses":[329],"order":[331,350],"for":[338,406,450],"under":[341,359,413,482],"test.":[342,360,414,483],"First,":[343],"rely":[345],"data-flow":[347],"analysis":[348,425],"paths":[353,384],"interest":[355],"Next,":[361],"apply":[363],"combination":[365],"symbolic":[367],"automated":[370],"deduction":[371],"effort":[374],"generate":[376],"exercise":[382],"identified":[385],"earlier.":[386],"byproduct":[388],"our":[390],"definition":[395],"formal":[397],"specifications":[398],"form":[401],"preconditions":[403],"postconditions":[405],"methods":[408],"When":[415],"performing":[416],"testing,":[418],"resulting":[422],"from":[423,445],"single":[427],"then":[430],"jointly.":[432],"Evidently,":[433],"users":[436,492],"needs":[442],"expectations":[444],"activities.":[447],"framework":[449],"can":[453,467,493],"benefit":[454],"both":[455],"parties":[456],"involved.":[457],"On":[458,484],"hand,":[461,487],"test":[471],"cases":[472],"applied":[475],"during":[476,488],"development":[478],"combine":[494]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}