{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:47:43Z","timestamp":1729662463850,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/indin.2017.8104746","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T11:34:58Z","timestamp":1511868898000},"page":"53-58","source":"Crossref","is-referenced-by-count":2,"title":["A new approach to model-based test case generation for industrial automation systems"],"prefix":"10.1109","author":[{"given":"Kevin","family":"Pinkal","sequence":"first","affiliation":[]},{"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICARA.2011.6144856"},{"journal-title":"Industrial-strength model-based testing-state of the art and current challenges","year":"2013","author":"peleska","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01238"},{"key":"ref13","first-page":"392","article-title":"One evaluation of model-based testing and its automation","author":"pretschner","year":"2005","journal-title":"Proceedings of the 27th International Conference on Software Engineering"},{"key":"ref14","first-page":"79","article-title":"An introduction to timed automata","volume":"5","author":"bouyer","year":"2005","journal-title":"Actes Ecole d’été ETR'"},{"key":"ref15","first-page":"253","volume":"211","author":"alur","year":"1999","journal-title":"Event-clock automata a determiniz-able class of timed automata Theoretical Computer Science"},{"journal-title":"Relations d'implantation et hypotheses de test sur des automates a entrees et sorties","year":"1994","author":"phalippou","key":"ref16"},{"journal-title":"Software-Concepts and Tools (TR-CTI T-96-26)","article-title":"Test generation with inputs, outputs and repetitive quiescence","year":"1996","author":"tretmans","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3182\/20140514-3-FR-4046.00125"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(96)00017-7"},{"journal-title":"An introduction to input\/output automata","year":"1988","author":"lynch","key":"ref4"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"springintveld","year":"2001","journal-title":"Testing Timed Automata Theorical Computer Science"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"utting","year":"2012","journal-title":"A taxonomy of model-based testing approaches Software Testing Verification and Reliability"},{"journal-title":"Model based testing with labelled transition systems In Formal methods and testing","first-page":"1","year":"2008","author":"tretmans","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11498490_13"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0094-1"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"alur","year":"1994","journal-title":"A Theory of Timed Automata Theoretical Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27552-4_134"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.16602"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430540"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00132-7"}],"event":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2017,7,24]]},"location":"Emden","end":{"date-parts":[[2017,7,26]]}},"container-title":["2017 IEEE 15th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8095148\/8104734\/08104746.pdf?arnumber=8104746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T21:37:19Z","timestamp":1603402639000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8104746\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":22,"URL":"http:\/\/dx.doi.org\/10.1109\/indin.2017.8104746","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}
