{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:48:55Z","timestamp":1764784135635,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["694277"],"award-info":[{"award-number":["694277"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["C-16PPP\/IS\/11270448"],"award-info":[{"award-number":["C-16PPP\/IS\/11270448"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239382","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"357-367","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["HITECS"],"prefix":"10.1145","author":[{"given":"Seung Yeob","family":"Shin","sequence":"first","affiliation":[{"name":"SnT Centre, University of Luxembourg, Luxembourg"}]},{"given":"Karim","family":"Chaouch","sequence":"additional","affiliation":[{"name":"SnT Centre, University of Luxembourg, Luxembourg"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"SnT Centre, University of Luxembourg, Luxembourg"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[{"name":"SnT Centre, University of Luxembourg, Luxembourg"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"SnT Centre, University of Luxembourg, Luxembourg"}]},{"given":"Frank","family":"Zimmer","sequence":"additional","affiliation":[{"name":"SES Networks, Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2489184"},{"volume-title":"Action Language for Foundational UML (Alf). OMG Specification formal\/2017-07-04","author":"Alf","key":"e_1_3_2_1_3_1","unstructured":"Alf 2017. Action Language for Foundational UML (Alf). OMG Specification formal\/2017-07-04 . Object Management Group . Alf 2017. Action Language for Foundational UML (Alf). OMG Specification formal\/2017-07-04. Object Management Group."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102637"},{"volume-title":"Introduction to Software Testing (2 ed.)","author":"Ammann Paul","key":"e_1_3_2_1_5_1","unstructured":"Paul Ammann and Jeff Offutt . 2016. Introduction to Software Testing (2 ed.) . Cambridge University Press . Paul Ammann and Jeff Offutt. 2016. Introduction to Software Testing (2 ed.). Cambridge University Press."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2007.19"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-016-9341-7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2017.7969377"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25945-1_12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2013.71"},{"key":"e_1_3_2_1_11_1","volume-title":"Jens Grabowski, \u00d8ystein Haugen, Ina Schieferdecker, and Clay Williams.","author":"Baker Paul","year":"2007","unstructured":"Paul Baker , Zhen Ru Dai , Jens Grabowski, \u00d8ystein Haugen, Ina Schieferdecker, and Clay Williams. 2007 . Model-Driven Testing: Using the UML Testing Profile . Paul Baker, Zhen Ru Dai, Jens Grabowski, \u00d8ystein Haugen, Ina Schieferdecker, and Clay Williams. 2007. Model-Driven Testing: Using the UML Testing Profile."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 2nd International Conference on Advances and Trends in Software Engineering (SOFTENG'16)","author":"Buchmann Thomas","year":"2016","unstructured":"Thomas Buchmann and Alexander Rimer . 2016 . Unifying Modeling and Programming with ALF . In Proceedings of the 2nd International Conference on Advances and Trends in Software Engineering (SOFTENG'16) . 10--15. Thomas Buchmann and Alexander Rimer. 2016. Unifying Modeling and Programming with ALF. In Proceedings of the 2nd International Conference on Advances and Trends in Software Engineering (SOFTENG'16). 10--15."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0556-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"volume-title":"Proceedings of the 9th International Conference on Automated Technology for Verification and Analysis (ATVA' 11)","author":"Edmund","key":"e_1_3_2_1_16_1","unstructured":"Edmund M. Clarke and Paolo Zuliani. 2011. Statistical Model Checking for Cyber-physical Systems . In Proceedings of the 9th International Conference on Automated Technology for Verification and Analysis (ATVA' 11) . 1--12. Edmund M. Clarke and Paolo Zuliani. 2011. Statistical Model Checking for Cyber-physical Systems. In Proceedings of the 9th International Conference on Automated Technology for Verification and Analysis (ATVA' 11). 1--12."},{"key":"e_1_3_2_1_17_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Jr., Orna Grumberg , and Doron A . Peled . 1999 . Model Checking. MIT Press . Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 1999. Model Checking. MIT Press."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0355-9"},{"key":"e_1_3_2_1_20_1","unstructured":"Ronald A. Fisher. 1959. Statistical Methods and Scientific Inference. Oliver & Boyd.  Ronald A. Fisher. 1959. Statistical Methods and Scientific Inference. Oliver & Boyd."},{"volume-title":"Semantics of a Foundational Subset for Executable UML Models (fUML). OMG Specification formal\/2017-07-02","author":"UML","key":"e_1_3_2_1_21_1","unstructured":"f UML 2017. Semantics of a Foundational Subset for Executable UML Models (fUML). OMG Specification formal\/2017-07-02 . Object Management Group . fUML 2017. Semantics of a Foundational Subset for Executable UML Models (fUML). OMG Specification formal\/2017-07-02. Object Management Group."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Orna Grumberg and Helmut Veith (Eds.). 2008. 25 Years of Model Checking: History Achievements Perspectives. Springer-Verlag.   Orna Grumberg and Helmut Veith (Eds.). 2008. 25 Years of Model Checking: History Achievements Perspectives. Springer-Verlag.","DOI":"10.1007\/978-3-540-69850-0"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005241300990110"},{"volume-title":"Proceedings of the 7th International Wireless Communications and Mobile Computing Conference (IWCMC' 11)","author":"Jensen Jeff","key":"e_1_3_2_1_24_1","unstructured":"Jeff C. Jensen , Danica H. Chang , and Edward A. Lee . 2011. A Model-Based Design Methodology for Cyber-Physical Systems . In Proceedings of the 7th International Wireless Communications and Mobile Computing Conference (IWCMC' 11) . 1666--1671. Jeff C.Jensen, Danica H. Chang, and Edward A. Lee. 2011. A Model-Based Design Methodology for Cyber-Physical Systems. In Proceedings of the 7th International Wireless Communications and Mobile Computing Conference (IWCMC' 11). 1666--1671."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Michel C. Jeruchim Philip Balaban and K. Sam Shanmugan (Eds.). 2000. Simulation of Communication Systems: Modeling Methodology and Techniques (2nd ed.). Kluwer Academic Publishers.   Michel C. Jeruchim Philip Balaban and K. Sam Shanmugan (Eds.). 2000. Simulation of Communication Systems: Modeling Methodology and Techniques (2nd ed.). Kluwer Academic Publishers.","DOI":"10.1007\/b117713"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_33"},{"key":"e_1_3_2_1_29_1","volume-title":"Lucia Lucia.","author":"Liu Bing","year":"2018","unstructured":"Bing Liu and Lionel C . Briand Shiva Nejati , Lucia Lucia. 2018 . Effective Fault Localization of Automotive Simulink Models: Achieving the Trade-Off between Test Oracle Effort and Fault Localization Accuracy. Empirical Software Engineering ( 2018), 1--47. (in press). Bing Liu and Lionel C. Briand Shiva Nejati, Lucia Lucia. 2018. Effective Fault Localization of Automotive Simulink Models: Achieving the Trade-Off between Test Oracle Effort and Fault Localization Accuracy. Empirical Software Engineering (2018), 1--47. (in press)."},{"key":"e_1_3_2_1_30_1","volume-title":"Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior","author":"Matinnejad Reza","year":"2018","unstructured":"Reza Matinnejad , Shiva Nejati , Lionel C. Briand , and Thomas Bruckmann . 2018. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior . IEEE Transactions on Software Engineering (TSE '18) ( 2018 ), 1--25. (in press). Reza Matinnejad, Shiva Nejati, Lionel C. Briand, and Thomas Bruckmann. 2018. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Transactions on Software Engineering (TSE'18) (2018), 1--25. (in press)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0469-x"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384135"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.11.004"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1764575.1764585"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/646130.679472"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136014.3136028"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 15th International Workshop on OCL and Textual Modeling (OCL 15)","author":"Seidewitz Ed","year":"2015","unstructured":"Ed Seidewitz and J\u00e9r\u00e9mie Tatibouet . 2015 . Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus - . In Proceedings of the 15th International Workshop on OCL and Textual Modeling (OCL 15) . 105--119. Ed Seidewitz and J\u00e9r\u00e9mie Tatibouet. 2015. Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -. In Proceedings of the 15th International Workshop on OCL and Textual Modeling (OCL 15). 105--119."},{"key":"e_1_3_2_1_38_1","unstructured":"Seung Yeob Shin Karim Chaouch Shiva Nejati Mehrdad Sabetzadeh Lionel C. Briand and Frank Zimmer. 2018. {Case study data} HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. https:\/\/github.com\/ChaouchKarim\/HITECS. (2018).  Seung Yeob Shin Karim Chaouch Shiva Nejati Mehrdad Sabetzadeh Lionel C. Briand and Frank Zimmer. 2018. {Case study data} HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. https:\/\/github.com\/ChaouchKarim\/HITECS. (2018)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213852"},{"key":"e_1_3_2_1_40_1","unstructured":"TDL2018. Test Description Language. ETSI Standard TR 103 119. ETSI.  TDL2018. Test Description Language. ETSI Standard TR 103 119. ETSI."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795197"},{"key":"e_1_3_2_1_42_1","unstructured":"TTCN-3 2017. Testing and Test Control Notation version 3. ETSI Standard ES 201 873--1. ETSI.  TTCN-3 2017. Testing and Test Control Notation version 3. ETSI Standard ES 201 873--1. ETSI."},{"volume-title":"Superstructure. OMG Specification formal\/2011-08-06","author":"UML","key":"e_1_3_2_1_43_1","unstructured":"UML Profile 2011. OMG Unified Modeling Language (OMG UML) , Superstructure. OMG Specification formal\/2011-08-06 . Object Management Group . UML Profile 2011. OMG Unified Modeling Language (OMG UML), Superstructure. OMG Specification formal\/2011-08-06. Object Management Group."},{"volume-title":"UML Testing Profile (UTP) Version 2.0 - Beta. OMG Specification ptc\/2017-09-29","author":"UTP","key":"e_1_3_2_1_44_1","unstructured":"UTP 2017. UML Testing Profile (UTP) Version 2.0 - Beta. OMG Specification ptc\/2017-09-29 . Object Management Group . UTP 2017. UML Testing Profile (UTP) Version 2.0 - Beta. OMG Specification ptc\/2017-09-29. Object Management Group."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382797"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771812"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568265"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/2821404.2821410"}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Copenhagen Denmark","acronym":"MODELS '18"},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239382","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:53Z","timestamp":1750207433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239382"}},"subtitle":["A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems"],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":50,"alternative-id":["10.1145\/3239372.3239382","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239382","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}