{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T18:23:00Z","timestamp":1749579780752,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/isorc.2013.6913191","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:48:11Z","timestamp":1412801291000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["STELAE — A model-driven test development environment for avionics systems"],"prefix":"10.1109","author":[{"given":"Alexandru-Robert","family":"Guduvan","sequence":"first","affiliation":[]},{"given":"Helene","family":"Waeselynck","sequence":"additional","affiliation":[]},{"given":"Virginie","family":"Wiels","sequence":"additional","affiliation":[]},{"given":"Guy","family":"Durrieu","sequence":"additional","affiliation":[]},{"given":"Yann","family":"Fusero","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Schieber","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Rational Tau IBM","year":"0","key":"19"},{"journal-title":"TTworkbench-The Reliable Test Automation Platform Testing Technologies","year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74984-4_6"},{"key":"15","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/11430230_20","article-title":"From U2TP models to executable tests with TTCN-3: An approach to model driven testing","author":"zander","year":"2005","journal-title":"Proc International Conference on Testing of Communicating Systems (TestCom 2005)"},{"key":"16","first-page":"366","article-title":"A meta-model for TTCN-3","volume":"3236","author":"schieferdecker","year":"2004","journal-title":"FORTE 2004 Workshops The FormEMC EPEW ITM"},{"key":"13","first-page":"7","article-title":"LETO-A lustre-based test oracle for airbus critical systems","volume":"5596","author":"durrieu","year":"2008","journal-title":"Formal Methods for Industrial Critical Systems 13th International Workshop FMICS 2008"},{"journal-title":"UML Testing Profile Version 1 1","year":"2012","key":"14"},{"journal-title":"Cassidian T & S-U-Test Software","year":"0","key":"11"},{"journal-title":"System Testing in the Avionics Domain","year":"2007","author":"ott","key":"12"},{"key":"21","first-page":"420","article-title":"On modeling approach for embedded real-time software simulation testing","volume":"20","author":"yin","year":"2009","journal-title":"Journal of Systems Engineering and Electronics"},{"key":"20","first-page":"500","article-title":"A meta-model to support regression testing of web applications","author":"hernandez","year":"2008","journal-title":"SEKE"},{"key":"22","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/ICSTW.2011.72","article-title":"Model-based testing for the second generation of integrated modular avionics","author":"efkemann","year":"2011","journal-title":"Proceedings of the 2011 IEEE 4th International Conference on Software Testing Verification and Validation Workshops ICSTW '11"},{"journal-title":"RT-Tester 6 X Product Information","year":"0","key":"23"},{"key":"24","article-title":"Automated testing with rt-tester-theoretical issus driven by practical needs","author":"dahlweid","year":"2000","journal-title":"Proceedings of FM-Tools 2000 Number 2000-07 in Ulmer Informatik Bericht"},{"journal-title":"Graphiti Home","year":"0","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"journal-title":"ES 201 873-Methods for Testing and Specification (MTS) the Testing and Test Control Notation Version 3 Part 1 TTCN-3 Core Language","year":"2012","key":"3"},{"journal-title":"1671-2010-IEEE Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Equipment and Test Information Via XML","year":"0","key":"2"},{"year":"0","key":"10"},{"journal-title":"716-1995-IEEE Standard Test Language for All Systems-Common\/Abbreviated Test Language for All Systems (C\/ATLAS)","year":"0","key":"1"},{"journal-title":"Test Languages for In-the-Loop Testing of Avionic Embedded Systems LAAS Report N12151","year":"2012","author":"guduvan","key":"7"},{"year":"0","key":"6"},{"key":"5","article-title":"A meta-model for tests of avionics embedded systems","author":"guduvan","year":"2013","journal-title":"International Conference on Model-Driven Engineering and Software Development-MODELSWARD 2013"},{"journal-title":"Model-Driven Software Development Technology Engineering Management","year":"2006","author":"stahl","key":"4"},{"year":"0","key":"9"},{"journal-title":"Object Constraint Language Version 2 1 2","year":"2012","key":"8"}],"event":{"name":"2013 IEEE 16th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2013,6,19]]},"location":"Paderborn, Germany","end":{"date-parts":[[2013,6,21]]}},"container-title":["16th IEEE International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6906723\/6913188\/06913191.pdf?arnumber=6913191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:03:52Z","timestamp":1498169032000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6913191\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/isorc.2013.6913191","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}