{"id":"https://openalex.org/W2140714756","doi":"https://doi.org/10.1109/iceccs.2008.17","title":"On Extracting Tests from a Testable Model in the Context of Domain Engineering","display_name":"On Extracting Tests from a Testable Model in the Context of Domain Engineering","publication_year":2008,"publication_date":"2008-03-01","ids":{"openalex":"https://openalex.org/W2140714756","doi":"https://doi.org/10.1109/iceccs.2008.17","mag":"2140714756"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iceccs.2008.17","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5054804404","display_name":"Soheila Bashardoust-Tajali","orcid":null},"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":"Soheila Bashardoust-Tajali","raw_affiliation_strings":[" Carleton University, Ottawa"],"affiliations":[{"raw_affiliation_string":" Carleton University, Ottawa","institution_ids":["https://openalex.org/I67031392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009496814","display_name":"Jean\u2010Pierre Corriveau","orcid":"https://orcid.org/0000-0002-6570-3108"},"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":"Jean-Pierre Corriveau","raw_affiliation_strings":[" Carleton University, Ottawa"],"affiliations":[{"raw_affiliation_string":" Carleton University, Ottawa","institution_ids":["https://openalex.org/I67031392"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.945,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":13,"citation_normalized_percentile":{"value":0.697967,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":null,"issue":null,"first_page":"98","last_page":"107"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9999,"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.9999,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9996,"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.9987,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/domain-engineering","display_name":"Domain engineering","score":0.7487866},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.65563923},{"id":"https://openalex.org/keywords/domain-model","display_name":"Domain model","score":0.6423575},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6358827},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-Based Testing","score":0.5444629},{"id":"https://openalex.org/keywords/feature-oriented-domain-analysis","display_name":"Feature-oriented domain analysis","score":0.46556664}],"concepts":[{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.7566193},{"id":"https://openalex.org/C5977032","wikidata":"https://www.wikidata.org/wiki/Q5289815","display_name":"Domain engineering","level":5,"score":0.7487866},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.69800746},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.65563923},{"id":"https://openalex.org/C92548554","wikidata":"https://www.wikidata.org/wiki/Q2262868","display_name":"Domain model","level":3,"score":0.6423575},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6358827},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5444629},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5140296},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.47047216},{"id":"https://openalex.org/C21632574","wikidata":"https://www.wikidata.org/wiki/Q5439664","display_name":"Feature-oriented domain analysis","level":5,"score":0.46556664},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.42033374},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38332677},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3294227},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.30549476},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.24877295},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.22966343},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22260752},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.18559018},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16704276},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11846843},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.10669729},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"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/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iceccs.2008.17","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.42,"display_name":"Partnerships for the goals"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W1500250067","https://openalex.org/W1510525298","https://openalex.org/W1567814420","https://openalex.org/W1586593724","https://openalex.org/W1605750585","https://openalex.org/W1611760289","https://openalex.org/W1777680251","https://openalex.org/W1999010821","https://openalex.org/W2010245779","https://openalex.org/W2014935514","https://openalex.org/W2023862309","https://openalex.org/W2099665187","https://openalex.org/W2101748541","https://openalex.org/W2167406760","https://openalex.org/W2465771390","https://openalex.org/W4285719527","https://openalex.org/W6191748"],"related_works":["https://openalex.org/W2393035024","https://openalex.org/W2373867221","https://openalex.org/W2364895958","https://openalex.org/W2102997561","https://openalex.org/W2102276911","https://openalex.org/W2098227450","https://openalex.org/W1964194341","https://openalex.org/W1568769727","https://openalex.org/W1560710113","https://openalex.org/W1509477086"],"abstract_inverted_index":{"Software":[0],"testing":[1,66],"is":[2,92,174],"the":[3,8,42,63,75,83,117,122,154,169,212],"traditional":[4],"way":[5],"to":[6,47,69,78,137,167,183,186,195],"verify":[7],"functionality":[9],"of":[10,24,85,124,149,153,171,188,214],"a":[11,30,35,79,93,96,110,132,164,206],"given":[12],"software":[13],"system":[14],"against":[15,156],"its":[16],"requirements.":[17,159],"In":[18,127],"domain":[19,31,36,86,101,113,118,155,172],"engineering,":[20,87],"these":[21],"requirements":[22],"consist":[23],"variabilities":[25],"and":[26,32],"commonalities":[27],"observed":[28],"in":[29,34,82,177,193],"captured":[33],"model":[37,114,209],"[5].":[38],"We":[39,103],"remark":[40],"that":[41,65,90,120,157,189],"latter":[43],"may":[44],"be":[45,55,184],"used":[46],"obtain":[48,196],"an":[49,150],"elaborate":[50],"design;":[51],"however":[52],"tests":[53,144,173,198],"cannot":[54,72],"derived":[56],"from":[57,62],"it.":[58],"This":[59,141],"observation":[60],"proceeds":[61],"fact":[64],"techniques":[67],"relevant":[68],"single-system":[70],"engineering":[71],"deal":[73],"with":[74],"variability":[76,170],"intrinsic":[77],"domain.":[80],"Therefore,":[81],"context":[84],"we":[88,130],"claim":[89],"there":[91],"need":[94],"for":[95,145,199],"new":[97],"modeling":[98],"approach":[99],"enabling":[100],"testing.":[102],"have":[104],"proposed":[105,216],"elsewhere":[106],"[1,":[107],"3,":[108],"4]":[109],"testable":[111,139,208],"[2]":[112],"(based":[115],"on":[116,205],"requirements)":[119],"takes":[121],"form":[123],"generative":[125],"contracts.":[126],"this":[128,138,200],"paper,":[129],"present":[131],"test":[133,217],"extraction":[134,218],"technique":[135,142],"applicable":[136],"model.":[140],"generates":[143],"validating":[146],"behavioural":[147],"aspects":[148],"implemented":[151],"member":[152,166],"member's":[158,190],"That":[160],"is,":[161],"upon":[162],"selecting":[163],"specific":[165,179],"test,":[168],"eliminated,":[175],"resulting":[176],"member-":[178],"tests,":[180],"which":[181],"are":[182],"bound":[185],"artefacts":[187],"corresponding":[191],"implementation":[192],"order":[194],"executable":[197],"member.":[201],"A":[202],"case":[203],"study":[204],"domain-specific":[207],"will":[210],"illustrate":[211],"steps":[213],"our":[215],"technique.":[219]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2140714756","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2024-12-11T16:15:31.461055","created_date":"2016-06-24"}