{"id":"https://openalex.org/W1602971876","doi":"https://doi.org/10.5075/epfl-thesis-1753","title":"Test selection for specification-based unit testing of object-oriented software based on formal specifications","display_name":"Test selection for specification-based unit testing of object-oriented software based on formal specifications","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1602971876","doi":"https://doi.org/10.5075/epfl-thesis-1753","mag":"1602971876"},"language":"en","primary_location":{"id":"pmh:oai:infoscience.epfl.ch:32230","is_oa":false,"landing_page_url":"http://infoscience.epfl.ch/record/32230","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/record/32230/files/EPFL_TH1753.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086507404","display_name":"St\u00e9phane Barbey","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Barbey, St\u00e9phane","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5086507404"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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.9998000264167786,"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.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7627249956130981},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.664685070514679},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5186069011688232},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5111830830574036},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.49886083602905273},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.48826122283935547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4638289213180542},{"id":"https://openalex.org/keywords/black-box-testing","display_name":"Black-box testing","score":0.43028995394706726},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.4294646680355072},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.42286789417266846},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4209247827529907},{"id":"https://openalex.org/keywords/keyword-driven-testing","display_name":"Keyword-driven testing","score":0.4124113619327545},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.32652705907821655},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2562882900238037},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22011449933052063},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.14607203006744385},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12309679388999939}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7627249956130981},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.664685070514679},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5186069011688232},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5111830830574036},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.49886083602905273},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.48826122283935547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4638289213180542},{"id":"https://openalex.org/C24169984","wikidata":"https://www.wikidata.org/wiki/Q879969","display_name":"Black-box testing","level":5,"score":0.43028995394706726},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.4294646680355072},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.42286789417266846},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4209247827529907},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.4124113619327545},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32652705907821655},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2562882900238037},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22011449933052063},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.14607203006744385},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12309679388999939},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:infoscience.epfl.ch:32230","is_oa":false,"landing_page_url":"http://infoscience.epfl.ch/record/32230","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:32230","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/record/32230/files/EPFL_TH1753.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},{"id":"doi:10.5075/epfl-thesis-1753","is_oa":true,"landing_page_url":"https://doi.org/10.5075/epfl-thesis-1753","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:1602971876","is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/54595/files/barbey-thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:32230","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/record/32230/files/EPFL_TH1753.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1824128211","https://openalex.org/W1549159967","https://openalex.org/W2139521678","https://openalex.org/W2157675331","https://openalex.org/W176471802","https://openalex.org/W2086771322","https://openalex.org/W1597425600","https://openalex.org/W2161222901","https://openalex.org/W2171207016","https://openalex.org/W2405675331","https://openalex.org/W2016578292","https://openalex.org/W2118505540","https://openalex.org/W2093009475","https://openalex.org/W1586940298","https://openalex.org/W2097895505","https://openalex.org/W1990467226","https://openalex.org/W2159120852","https://openalex.org/W175408375","https://openalex.org/W62415093","https://openalex.org/W1546593066"],"abstract_inverted_index":{"Traditional":[0],"testing":[1],"techniques":[2],"cannot":[3],"be":[4,90],"directly":[5],"applied":[6,187],"to":[7,33,52,134,141,188,207,214],"object-oriented":[8,125,142],"software":[9],"systems":[10],"because":[11],"of":[12,15,37,40,44,47,67,86,98,116,130,138,149,158,166,181,191,218,226],"some":[13],"features":[14],"this":[16],"paradigm,":[17,126],"namely":[18],"history,":[19],"encapsulation,":[20],"inheritance":[21],"and":[22,153],"polymorphism.":[23],"We":[24],"propose":[25],"a":[26,45,56,72,136,178],"specification":[27],"based":[28],"strategy":[29],"for":[30,204],"test":[31,61,74,100,159,200,208],"selection":[32,54],"verify":[34],"the":[35,38,80,96,99,113,120,124,127,131,150,156,167,182,192,216,224,227],"interactions":[36],"methods":[39],"an":[41,107],"object":[42,196],"or":[43],"cluster":[46],"objects.":[48,117],"Its":[49],"essence":[50],"is":[51,69,92,104,133],"perform":[53],"as":[55,65,106],"reduction":[57],"process.":[58],"The":[59,84,102],"exhaustive":[60],"set":[62,75,137],"which":[63,110],"serves":[64],"reference":[66],"correctness":[68],"transformed":[70],"into":[71,222],"practicable":[73],"by":[76,123,198,220],"applying":[77],"hypotheses":[78,139,145,162,185,211],"on":[79],"program":[81,151,168],"under":[82],"test.":[83],"number":[85],"cases":[87,201],"that":[88],"must":[89],"tested":[91],"reduced":[93],"while":[94],"preserving":[95],"integrity":[97],"set.":[101],"oracle":[103],"implemented":[105],"observational":[108],"equivalence,":[109],"allows":[111],"disregarding":[112],"internal":[114],"representation":[115],"Besides":[118],"analyzing":[119],"problems":[121],"induced":[122],"main":[128],"contribution":[129],"thesis":[132],"present":[135],"specific":[140],"systems.":[143],"Regularity":[144],"are":[146,163,186,212],"m:n":[147],"generalizations":[148,165],"behavior":[152],"allow":[154],"specifying":[155],"shape":[157],"cases.":[160],"Uniformity":[161],"1:n":[164],"behavior.":[169],"Used":[170],"in":[171],"conjunction":[172],"with":[173],"subdomain":[174],"decomposition,":[175],"they":[176],"ensure":[177],"good":[179],"coverage":[180],"specification.":[183],"Incrementallity":[184],"take":[189],"advantage":[190],"hierarchy":[193],"relationships":[194],"inside":[195],"models":[197],"reusing":[199],"already":[202],"selected":[203],"parent":[205],"classes":[206],"subclasses.":[209],"Other":[210],"proposed":[213],"limit":[215],"impact":[217],"polymorphism":[219],"taking":[221],"account":[223],"properties":[225],"subtyping":[228],"relationships.":[229]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2016-06-24T00:00:00"}