{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:07:47Z","timestamp":1730221667296,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/fdl.2018.8524132","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T18:21:35Z","timestamp":1541701295000},"page":"5-16","source":"Crossref","is-referenced-by-count":1,"title":["Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests"],"prefix":"10.1109","author":[{"given":"Martial","family":"Chabot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurence","family":"Pierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Nabais-Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","journal-title":"Graphviz - Graph Visualization Software","key":"ref33"},{"year":"0","journal-title":"The DOT Language","key":"ref32"},{"year":"0","journal-title":"Papyrus Modeling environment","key":"ref31"},{"year":"0","journal-title":"http \/\/www omg org\/spec\/XMI\/","article-title":"XMI (XML Metadata Interchange)","key":"ref30"},{"year":"2003","author":"beck","journal-title":"Test Driven Development By Example","key":"ref35"},{"year":"0","journal-title":"MathWorks","key":"ref34"},{"year":"0","journal-title":"Electrical Safety in Low Voltage Distribution Systems Up to 1 000 V A c and 1 500 V D c - Equipment for Testing Measuring or Monitoring of Protective Measures - Part 12 Performance Measuring and Monitoring Devices (PMD)","key":"ref10"},{"year":"0","journal-title":"UML (Unified Modeling Language)","key":"ref11"},{"year":"2005","author":"pilone","journal-title":"UML 2 0 in a Nutshell A Desktop Quick Reference","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/SysCon.2014.6819307"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1145\/2771783.2771812","article-title":"Automatic generation of system test cases from use case specifications","author":"wang","year":"2015","journal-title":"Proc International Symposium on Software Testing and Analysis (ISSTA)"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1145\/2771783.2771799","article-title":"RTCM: a natural language based, automated, and practical test case generation framework","author":"yue","year":"2015","journal-title":"Proc International Symposium on Software Testing and Analysis (ISSTA)"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-642-54862-8_55"},{"year":"2008","author":"micskei","journal-title":"UML 2 0 Sequence Diagrams' Semantics","key":"ref17"},{"year":"2011","journal-title":"Software and Systems Modeling (Springer)","article-title":"The Many Meanings of UML 2 Sequence Diagrams: a Survey","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/HCC.2003.1260216"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/3-540-48168-0_4"},{"year":"2015","author":"gianni","journal-title":"Modeling and Simulation-Based Systems Engineering Handbook","key":"ref4"},{"year":"0","key":"ref27"},{"year":"2008","author":"estefan","journal-title":"Survey of Model-based Systems Engineering (MBSE) Methodologies","key":"ref3"},{"year":"0","journal-title":"SysML (Systems Modeling Language)","key":"ref6"},{"year":"0","journal-title":"BuDDy A BDD package","key":"ref29"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/2976767.2976795"},{"year":"0","key":"ref8"},{"year":"0","journal-title":"Simulink - Simulation and Model-Based Design","key":"ref7"},{"year":"2010","author":"shetty","journal-title":"Mechatronics System Design","key":"ref2"},{"year":"0","journal-title":"IEC","key":"ref9"},{"year":"2015","author":"alur","journal-title":"Principles of Cyber-Physical Systems","key":"ref1"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/s10270-005-0087-0","article-title":"STAIRS towards formal design with sequence diagrams","author":"haugen","year":"2005","journal-title":"Software and Systems Modeling (Springer)"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/s10270-007-0054-z"},{"key":"ref21","article-title":"Modelling Concurrent Interactions","volume":"351","author":"kiister-filipe","year":"2008","journal-title":"Theoretical Computer Science (Elsevier)"},{"year":"0","key":"ref24"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1002\/j.2334-5837.2015.00128.x"},{"key":"ref26","article-title":"Modeling and Design of Mechatronics System with SysML, Simscape and Simulink","author":"abdul","year":"2013","journal-title":"Proc IEEE\/ASME Int Conf Adv Intell Mechatron (AIM)"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/MBSE.2009.5031716"}],"event":{"name":"2018 Forum on specification & Design Languages (FDL)","start":{"date-parts":[[2018,9,10]]},"location":"Garching","end":{"date-parts":[[2018,9,12]]}},"container-title":["2018 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8501260\/8524032\/08524132.pdf?arnumber=8524132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T13:57:50Z","timestamp":1643205470000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8524132\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/fdl.2018.8524132","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}