{"id":"https://openalex.org/W2889578369","doi":"https://doi.org/10.1145/3239372.3239382","title":"HITECS","display_name":"HITECS","publication_year":2018,"publication_date":"2018-10-04","ids":{"openalex":"https://openalex.org/W2889578369","doi":"https://doi.org/10.1145/3239372.3239382","mag":"2889578369"},"language":"en","primary_location":{"id":"doi:10.1145/3239372.3239382","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3239372.3239382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbilu.uni.lu/handle/10993/36092","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088550214","display_name":"Seung Yeob Shin","orcid":"https://orcid.org/0000-0001-9025-7173"},"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":true,"raw_author_name":"Seung Yeob Shin","raw_affiliation_strings":["SnT Centre, University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091059205","display_name":"Karim Chaouch","orcid":null},"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":"Karim Chaouch","raw_affiliation_strings":["SnT Centre, University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074393374","display_name":"Shiva Nejati","orcid":"https://orcid.org/0000-0002-0281-8231"},"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":"Shiva Nejati","raw_affiliation_strings":["SnT Centre, University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022905724","display_name":"Mehrdad Sabetzadeh","orcid":"https://orcid.org/0000-0002-4711-8319"},"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":"Mehrdad Sabetzadeh","raw_affiliation_strings":["SnT Centre, University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"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, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SnT Centre, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113566846","display_name":"Frank Zimmer","orcid":null},"institutions":[{"id":"https://openalex.org/I909555","display_name":"SES (Luxembourg)","ror":"https://ror.org/00526y629","country_code":"LU","type":"company","lineage":["https://openalex.org/I909555"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Frank Zimmer","raw_affiliation_strings":["SES Networks, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SES Networks, Luxembourg","institution_ids":["https://openalex.org/I909555"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5088550214"],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":0.9244,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78183277,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"357","last_page":"367"},"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.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"}},"topics":[{"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.9993000030517578,"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.9988999962806702,"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/executable","display_name":"Executable","score":0.8769795894622803},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7761267423629761},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6975733041763306},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5678876638412476},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.564125657081604},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5335431694984436},{"id":"https://openalex.org/keywords/hardware-in-the-loop-simulation","display_name":"Hardware-in-the-loop simulation","score":0.4836879372596741},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4557792842388153},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.42718037962913513},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3932737410068512},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3914066255092621},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3494343161582947},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22032657265663147},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13349172472953796}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8769795894622803},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7761267423629761},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6975733041763306},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5678876638412476},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.564125657081604},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5335431694984436},{"id":"https://openalex.org/C70587628","wikidata":"https://www.wikidata.org/wiki/Q1142371","display_name":"Hardware-in-the-loop simulation","level":2,"score":0.4836879372596741},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4557792842388153},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.42718037962913513},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3932737410068512},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3914066255092621},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3494343161582947},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22032657265663147},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13349172472953796},{"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3239372.3239382","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3239372.3239382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/36092","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/36092","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"info:eu-repo/grantAgreement/EC/H2020/694277","raw_type":null},{"id":"pmh:oai:orbilu.uni.lu:10993/44144","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/44144","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":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"info:eu-repo/grantAgreement/EC/H2020/694277","raw_type":null}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/36092","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/36092","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"info:eu-repo/grantAgreement/EC/H2020/694277","raw_type":null},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G275404224","display_name":"Testing the Untestable: Model Testing of Complex Software-Intensive Systems","funder_award_id":"694277","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4307014601","display_name":null,"funder_award_id":"C-16PPP/IS/11270448","funder_id":"https://openalex.org/F4320321038","funder_display_name":"Fonds National de la Recherche Luxembourg"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8705474127","display_name":"Testing the Untestable: Model Testing of Complex Software-Intensive Systems","funder_award_id":"694277","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321038","display_name":"Fonds National de la Recherche Luxembourg","ror":"https://ror.org/039z13y21"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W175120007","https://openalex.org/W1181149784","https://openalex.org/W1486172410","https://openalex.org/W1498066347","https://openalex.org/W1514703713","https://openalex.org/W1547246349","https://openalex.org/W1557858341","https://openalex.org/W1564262173","https://openalex.org/W1571774520","https://openalex.org/W1583869287","https://openalex.org/W1941555554","https://openalex.org/W1972375918","https://openalex.org/W1988236026","https://openalex.org/W1989124590","https://openalex.org/W2025983852","https://openalex.org/W2044327022","https://openalex.org/W2063381633","https://openalex.org/W2078659865","https://openalex.org/W2119759435","https://openalex.org/W2122962110","https://openalex.org/W2129538349","https://openalex.org/W2135841285","https://openalex.org/W2148646465","https://openalex.org/W2155906338","https://openalex.org/W2164827396","https://openalex.org/W2169239645","https://openalex.org/W2171037318","https://openalex.org/W2171480813","https://openalex.org/W2171683519","https://openalex.org/W2185690310","https://openalex.org/W2287325073","https://openalex.org/W2396507278","https://openalex.org/W2506987745","https://openalex.org/W2520470321","https://openalex.org/W2523510087","https://openalex.org/W2528669479","https://openalex.org/W2552079288","https://openalex.org/W2591672520","https://openalex.org/W2730591385","https://openalex.org/W2766531011","https://openalex.org/W2775678306","https://openalex.org/W2788220863","https://openalex.org/W2791339912","https://openalex.org/W2797236781","https://openalex.org/W2803426915","https://openalex.org/W2913459036","https://openalex.org/W2922357450","https://openalex.org/W4297562996"],"related_works":["https://openalex.org/W2008840105","https://openalex.org/W1545621765","https://openalex.org/W87461448","https://openalex.org/W1491155388","https://openalex.org/W130124994","https://openalex.org/W2018145554","https://openalex.org/W2127350021","https://openalex.org/W1598160211","https://openalex.org/W2903616347","https://openalex.org/W2204156854"],"abstract_inverted_index":{"Hardware-in-the-loop":[0],"(HiL)":[1],"testing":[2,157],"is":[3,177],"an":[4,85,105,163],"important":[5],"step":[6],"in":[7,32,181,211],"the":[8,30,33,38,75,99,118,124,146,154,168],"development":[9],"of":[10,149],"cyber":[11],"physical":[12],"systems":[13],"(CPS).":[14],"CPS":[15,34,94],"HiL":[16,42,50,69,80,95,111,138,156,195,215,225],"test":[17,51,59,70,96,112,139,151,196,216,226],"cases":[18,52,71,140,152,217],"manipulate":[19],"hardware":[20],"components,":[21],"are":[22,27,53,141,203,218],"time-consuming":[23],"and":[24,61,67,92,123,143,190,220],"their":[25],"behaviors":[26],"impacted":[28],"by":[29],"uncertainties":[31],"environment.":[35],"To":[36],"mitigate":[37],"risks":[39],"associated":[40],"with":[41],"testing,":[43],"engineers":[44,89,186],"have":[45],"to":[46,79,87,135,144,162,179,199],"ensure":[47],"that":[48,214],"(1)":[49,175],"well-behaved,":[54,142],"i.e.,":[55],"they":[56],"implement":[57],"valid":[58],"scenarios":[60],"do":[62],"not":[63],"accidentally":[64],"damage":[65],"hardware,":[66],"(2)":[68,183],"can":[72],"execute":[73],"within":[74],"time":[76,213],"budget":[77],"allotted":[78],"testing.":[81],"This":[82],"paper":[83],"proposes":[84],"approach":[86],"help":[88],"systematically":[90],"specify":[91],"analyze":[93],"cases.":[97],"Leveraging":[98],"UML":[100,119,125],"profile":[101],"mechanism,":[102],"we":[103,131],"develop":[104],"executable":[106],"domain-specific":[107],"language,":[108],"HITECS,":[109,130],"for":[110,194],"case":[113,165,227],"specification.":[114],"HITECS":[115,161,176,184,209,222],"builds":[116],"on":[117],"Testing":[120],"Profile":[121],"(UTP)":[122],"action":[126],"language":[127],"(Alf).":[128],"Using":[129],"provide":[132],"analysis":[133],"methods":[134],"check":[136],"whether":[137],"estimate":[145],"execution":[147,228],"times":[148],"these":[150,201],"before":[153],"actual":[155],"stage.":[158],"We":[159],"apply":[160],"industrial":[164],"study":[166],"from":[167],"satellite":[169],"domain.":[170],"Our":[171],"results":[172],"show":[173],"that:":[174],"feasible":[178],"use":[180],"practice;":[182],"helps":[185],"define":[187],"more":[188],"complete":[189],"effective":[191],"well-behavedness":[192],"assertions":[193,202],"cases,":[197],"compared":[198],"when":[200],"defined":[204],"without":[205],"systematic":[206],"guidance;":[207],"(3)":[208],"verifies":[210],"practical":[212],"well-behaved;":[219],"(4)":[221],"accurately":[223],"estimates":[224],"times.":[229]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-09T13:55:54.758798","created_date":"2018-09-27T00:00:00"}