{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:00:29Z","timestamp":1773324029674,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/etfa.2011.6059146","type":"proceedings-article","created":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T20:30:25Z","timestamp":1319488225000},"page":"1-4","source":"Crossref","is-referenced-by-count":8,"title":["Model based TTCN-3 testing of industrial automation systems — First results"],"prefix":"10.1109","author":[{"given":"Barath","family":"Kumar","sequence":"first","affiliation":[]},{"given":"Bjoern","family":"Czybik","sequence":"additional","affiliation":[]},{"given":"Juergen","family":"Jasperneite","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2008.4638749"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1138953.1138968"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46852-8_30","article-title":"Generating tests from uml specifications","volume":"1723","author":"offutt","year":"1999","journal-title":"UML'99 - The Unified Modeling Language"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_37"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.2001.933854"},{"key":"ref15","article-title":"Methodological issues in model-based testing","author":"pretschner","year":"2005","journal-title":"Model-Based Testing of Reactive Systems LNCS"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1016\/S0950-5849(00)00125-7","article-title":"Applying models in your testing process","author":"rosaria","year":"2000","journal-title":"Information & Software Technology"},{"key":"ref17","article-title":"Verified software: Theories, tools, experiments","author":"utting","year":"2008","journal-title":"The Role of Model-Based Testing"},{"key":"ref18","author":"utting","year":"2006","journal-title":"A Taxonomy of Model-based Testing"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/0470017317"},{"key":"ref4","article-title":"Automatisierte erzeugung von ttcn-3 testfällen aus uml-modellen","volume":"2","author":"calam\u00e9","year":"2006"},{"key":"ref3","author":"binder","year":"1999","journal-title":"Testing Object-Oriented Systems Models Patterns and Tools"},{"key":"ref6","article-title":"Model-based software testing","author":"ei-far","year":"2001","journal-title":"Engineering"},{"key":"ref5","article-title":"Automatic derivation of ttcn-3 test cases from uml state machines","author":"czybik","year":"2010"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-74238-5"},{"key":"ref7","article-title":"Adaptation of model based testing to industry agile and automated testing","author":"hartman","year":"2006","journal-title":"Agile and Automated Testing Seminar"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.33"},{"key":"ref1","year":"2005","journal-title":"Unified Modeling Language Superstructure"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2010.5548610"},{"key":"ref20","article-title":"From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing","author":"zander","year":"2005","journal-title":"TESTCOM"}],"event":{"name":"Factory Automation (ETFA 2011)","location":"Toulouse, France","start":{"date-parts":[[2011,9,5]]},"end":{"date-parts":[[2011,9,9]]}},"container-title":["ETFA2011"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6045288\/6058966\/06059146.pdf?arnumber=6059146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:32:22Z","timestamp":1497947542000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6059146\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/etfa.2011.6059146","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}