{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T11:44:38Z","timestamp":1778327078093,"version":"3.51.4"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/ets.2018.8400703","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T00:00:42Z","timestamp":1530576042000},"page":"1-10","source":"Crossref","is-referenced-by-count":11,"title":["Model-based avionic systems testing for the airbus family"],"prefix":"10.1109","author":[{"given":"Jan","family":"Peleska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.111.1"},{"key":"ref11","first-page":"146","article-title":"A real-world benchmark model for testing concurrent real-time systems in the automotive domain","volume":"7019","author":"peleska","year":"2011","journal-title":"Testing Software and Systems Proceedings of the 23rd IFIP WG 6 1 International Conference ICTSS 2011 ser LNCS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_22"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35516-0_14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086283"},{"key":"ref16","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref17","article-title":"Test automation support","author":"huang","year":"2013","journal-title":"COMPASS Comprehensive Modelling for Advanced Systems of Systems Tech Rep D34 1"},{"key":"ref18","year":"2012","journal-title":"RT-Tester Model-Based Test Case and Test Data Generator RTT-MBT Verified Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"ref4","first-page":"427","article-title":"Source-code-to-object-code traceability analysis for avionics software: Don't trust your compiler","volume":"9337","author":"brauer","year":"2015","journal-title":"Computer Safety Reliability and Security-34th International Conference SAFECOMP 2015 Delft"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4271\/2015-01-2558"},{"key":"ref6","article-title":"Formal Methods Supplement to DO-178C and DO-278A","year":"2011","journal-title":"Tech Rep RTCA\/DO-333"},{"key":"ref5","article-title":"Model-Based Development and Verification Supplement to DO-178C and DO-278A","year":"2011","journal-title":"Tech Rep RTCA\/DO-331"},{"key":"ref8","first-page":"8","article-title":"Efficient and trustworthy tool qualification for model-based testing tools","author":"brauer","year":"2012","journal-title":"Testing Software and Systems Proceedings of the 24th IFIP WG 6 1 International Conference ICTSS 2012"},{"key":"ref7","article-title":"Software Tool Qualification Considerations","year":"2011","journal-title":"Tech Rep RTCA\/DO-330"},{"key":"ref2","article-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"2011","journal-title":"Tech Rep RTCA\/DO-178C"},{"key":"ref1","year":"1992","journal-title":"RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref9","article-title":"OMG Systems Modeling Language (OMG SysML), Version 1. 4","year":"2015","journal-title":"Tech Rep"},{"key":"ref20","article-title":"Model-based testing of avionic systems","author":"peleska","year":"2018","journal-title":"Proceedings of the ISoLA 2018"},{"key":"ref22","article-title":"Using Dependency Charts to Improve Scenario-Based Testing-Management of Inter-Scenario Relationships: Depicting and Managing Dependencies","author":"ryser","year":"2000","journal-title":"Proceedings of the 17th International Conference on Testing Computer Software (TCS2000)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/C3IT.2015.7060198"},{"key":"ref24","author":"kuhn","year":"2013","journal-title":"Introduction to Combinatorial Testing"},{"key":"ref23","author":"apt","year":"2009","journal-title":"Principles of Constraint Programming"}],"event":{"name":"2018 IEEE European Test Symposium (ETS)","location":"Bremen","start":{"date-parts":[[2018,5,28]]},"end":{"date-parts":[[2018,6,1]]}},"container-title":["2018 IEEE 23rd European Test Symposium (ETS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8392663\/8400674\/08400703.pdf?arnumber=8400703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T14:42:02Z","timestamp":1643208122000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8400703\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/ets.2018.8400703","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}