{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T16:52:45Z","timestamp":1790700765858,"version":"4.1.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10270-020-00844-z","type":"journal-article","created":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:03:07Z","timestamp":1609718587000},"page":"1977-2002","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Testing cockpit display systems of aircraft using a model-based approach"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5212-9787","authenticated-orcid":false,"given":"Hassan","family":"Sartaj","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Muhammad Uzair","family":"Khan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,1,4]]},"reference":[{"key":"844_CR1","doi-asserted-by":"crossref","unstructured":"Alegroth, E., Nass, M., Olsson, H.H.: Jautomate: A tool for system-and acceptance-test automation. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp. 439\u2013446. IEEE (2013)","DOI":"10.1109\/ICST.2013.61"},{"key":"844_CR2","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., De\u00a0Carmine, S., Memon, A.M.: Using GUI ripping for automated testing of android applications. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, pp. 258\u2013261. ACM (2012)","DOI":"10.1145\/2351676.2351717"},{"key":"844_CR3","unstructured":"ANSYS: Scade suite (2014). https:\/\/www.ansys.com\/products\/embedded-software\/ansys-scade-suite"},{"key":"844_CR4","unstructured":"Antoniol, G., Briand, L.C., Di\u00a0Penta, M., Labiche, Y.: A case study using the round-trip strategy for state-based class testing. In: 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., p. 269. IEEE (2002)"},{"key":"844_CR5","unstructured":"ARP4754, S.: Certification considerations for highly-integrated or complex aircraft systems. SAE, Warrendale (1996)"},{"key":"844_CR6","unstructured":"Aviation, D.: List of arinc661 useful widgets (2017). http:\/\/j661.sourceforge.net\/"},{"key":"844_CR7","doi-asserted-by":"crossref","unstructured":"Baek, Y.M., Bae, D.H.: Automated model-based android GUI testing using multi-level GUI comparison criteria. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, pp. 238\u2013249. ACM (2016)","DOI":"10.1145\/2970276.2970313"},{"issue":"1","key":"844_CR8","first-page":"551","volume":"1","author":"D Behnken","year":"1992","unstructured":"Behnken, D., Salgado, R.: Automated testing of cockpit display visual aspects. AUTOTESTCON IEEE 1(1), 551\u2013551 (1992)","journal-title":"AUTOTESTCON IEEE"},{"key":"844_CR9","doi-asserted-by":"crossref","unstructured":"Berndt, J.: Jsbsim: An open source flight dynamics model in c++. In: AIAA Modeling and Simulation Technologies Conference and Exhibit, p. 4923 (2004)","DOI":"10.2514\/6.2004-4923"},{"key":"844_CR10","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Professional, Boston (2000)"},{"key":"844_CR11","unstructured":"Bradski, G., Kaehler, A.: Opencv. Dr Dobb\u2019s journal of software tools 3 (2000)"},{"key":"844_CR12","doi-asserted-by":"crossref","unstructured":"Campos, J.C., Fayollas, C., Martinie, C., Navarre, D., Palanque, P., Pinto, M.: Systematic automation of scenario-based testing of user interfaces. In: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 138\u2013148. ACM (2016)","DOI":"10.1145\/2933242.2948735"},{"issue":"1","key":"844_CR13","first-page":"9","volume":"1","author":"JC Campos","year":"2017","unstructured":"Campos, J.C., Fayollas, C., Gon\u00e7alves, M., Martinie, C., Navarre, D., Palanque, P., Pinto, M.: A more intelligent test case generation approach through task models manipulation. Proc. ACM Hum. Comput. Interact. 1(1), 9 (2017)","journal-title":"Proc. ACM Hum. Comput. Interact."},{"key":"844_CR14","doi-asserted-by":"crossref","unstructured":"Catelani, M., Ciani, L., Venzi, M., Barile, G.: Environmental tests and optical measurements in the validation process of TFT-LCD for avionics applications. In: Metrology for Aerospace (MetroAeroSpace), 2015 IEEE, pp. 421\u2013425. IEEE (2015)","DOI":"10.1109\/MetroAeroSpace.2015.7180694"},{"key":"844_CR15","doi-asserted-by":"crossref","unstructured":"Chang, T.H., Yeh, T., Miller, R.C.: Gui testing using computer vision. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 1535\u20131544. ACM (2010)","DOI":"10.1145\/1753326.1753555"},{"key":"844_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.infsof.2017.09.013","volume":"94","author":"YM Choi","year":"2018","unstructured":"Choi, Y.M., Lim, D.J.: Automatic feasible transition path generation from UML state chart diagrams using grouping genetic algorithms. Inf. Softw. Technol. 94, 38\u201358 (2018)","journal-title":"Inf. Softw. Technol."},{"issue":"1\u20134","key":"844_CR17","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s10846-012-9697-2","volume":"69","author":"L Damilano","year":"2013","unstructured":"Damilano, L., Guglieri, G., Quagliotti, F., Sale, I., Lunghi, A.: Ground control station embedded mission planning for UAS. J. Intell. Robot. Syst. 69(1\u20134), 241\u2013256 (2013)","journal-title":"J. Intell. Robot. Syst."},{"key":"844_CR18","unstructured":"Eclipse: Model development tools: Eclipse ocl (2019). https:\/\/projects.eclipse.org\/projects\/modeling.mdt.ocl"},{"key":"844_CR19","doi-asserted-by":"crossref","unstructured":"El-Far, I.K., Whittaker, J.A.: Model-based software testing. Encyclopedia of Software Engineering (2002)","DOI":"10.1002\/0471028959.sof207"},{"key":"844_CR20","doi-asserted-by":"crossref","unstructured":"Ferrell, T.K., Ferrell, U.D.: Rtca do-178c\/eurocae ed-12c. In: Digital Avionics Handbook (2017)","DOI":"10.1201\/b17545-12"},{"key":"844_CR21","doi-asserted-by":"crossref","unstructured":"Garousi, V., Afzal, W., Caglar, A., Isik, I.B., Baydan, B., Caylak, S., Boyraz, A.Z., Yolacan, B., Herkiloglu, K.: Comparing automated visual GUI testing tools: an industrial case study. In: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, pp. 21\u201328. ACM (2017)","DOI":"10.1145\/3121245.3121250"},{"key":"844_CR22","unstructured":"Group, I., et al.: Ieee standard classification for software anomalies. IEEE Std 1044-2009 (Revision of IEEE Std 1044-1993) 1044(2), 1\u201323 (2010)"},{"key":"844_CR23","doi-asserted-by":"crossref","unstructured":"Guerra, M., Rhudy, M., Gu, Y., Seanor, B., Napolitano, M.: Mobile ground control station development for fault tolerant UAV research. In: AIAA Guidance, Navigation, and Control Conference, p. 4544 (2012)","DOI":"10.2514\/6.2012-4544"},{"key":"844_CR24","doi-asserted-by":"crossref","unstructured":"Iftikhar, S., Iqbal, M.Z., Khan, M.U., Mahmood, W.: An automated model based testing approach for platform games. In: Model Driven Engineering Languages and Systems (MODELS), 2015 ACM\/IEEE 18th International Conference on, pp. 426\u2013435. IEEE (2015)","DOI":"10.1109\/MODELS.2015.7338274"},{"issue":"4","key":"844_CR25","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1007\/s10270-014-0405-5","volume":"14","author":"MZ Iqbal","year":"2015","unstructured":"Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Applying UML\/MARTE on industrial projects: challenges, experiences, and guidelines. Softw. Syst. Model. 14(4), 1367\u20131385 (2015)","journal-title":"Softw. Syst. Model."},{"key":"844_CR26","doi-asserted-by":"crossref","unstructured":"Iqbal, M.Z., Sartaj, H., Khan, M.U., Haq, F.U., Qaisar, I.: A model-based testing approach for cockpit display systems of avionics. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 67\u201377. IEEE (2019)","DOI":"10.1109\/MODELS.2019.00-14"},{"key":"844_CR27","doi-asserted-by":"crossref","unstructured":"Kayayurt, B., Yayla, I., Yapici, A., K\u00fc\u00e7\u00fcko\u011fuz, C.: Ground control station avionics software development in ANKA UAV. In: 2011 IEEE\/AIAA 30th Digital Avionics Systems Conference, pp. 5B6\u20131. IEEE (2011)","DOI":"10.1109\/DASC.2011.6096079"},{"issue":"4","key":"844_CR28","doi-asserted-by":"publisher","first-page":"2674","DOI":"10.1007\/s10664-019-09717-6","volume":"24","author":"MU Khan","year":"2019","unstructured":"Khan, M.U., Sartaj, H., Iqbal, M.Z., Usman, M., Arshad, N.: Aspectocl: using aspects to ease maintenance of evolving constraint specification. Empir. Softw. Eng. 24(4), 2674\u20132724 (2019)","journal-title":"Empir. Softw. Eng."},{"key":"844_CR29","doi-asserted-by":"crossref","unstructured":"Lelli, V., Blouin, A., Baudry, B.: Classifying and qualifying GUI defects. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102582"},{"key":"844_CR30","doi-asserted-by":"crossref","unstructured":"Mor, N., Wolf, L.: Confidence prediction for lexicon-free OCR. In: 2018 IEEE Winter Conference on Applications of Computer Vision (WACV), pp. 218\u2013225. IEEE (2018)","DOI":"10.1109\/WACV.2018.00030"},{"issue":"1","key":"844_CR31","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10515-013-0128-9","volume":"21","author":"BN Nguyen","year":"2014","unstructured":"Nguyen, B.N., Robbins, B., Banerjee, I., Memon, A.: Guitar: an innovative tool for automated testing of GUI-driven software. Autom. Softw. Eng. 21(1), 65\u2013105 (2014)","journal-title":"Autom. Softw. Eng."},{"key":"844_CR32","unstructured":"OMG: Object constraint language specification v2.4. Object Management Group Inc (2014). http:\/\/www.omg.org\/spec\/OCL\/2.4\/"},{"key":"844_CR33","unstructured":"OMG: Uml. unified modeling language specification, version 2.5.1. Object Management Group Inc (2017). http:\/\/www.omg.org\/spec\/UML\/2.5.1\/"},{"issue":"10","key":"844_CR34","first-page":"50","volume":"55","author":"C Patel","year":"2012","unstructured":"Patel, C., Patel, A., Patel, D.: Optical character recognition by open source OCR tool tesseract: a case study. Int. J. Comput. Appl. 55(10), 50\u201356 (2012)","journal-title":"Int. J. Comput. Appl."},{"key":"844_CR35","unstructured":"Presagis: Vaps xt (2018). https:\/\/www.presagis.com\/en\/product\/vaps-xt\/"},{"key":"844_CR36","volume-title":"Introduction to Modern Information, Retrieval","author":"G Salton","year":"1986","unstructured":"Salton, G., McGill, M.J.: Introduction to Modern Information, Retrieval. McGraw-Hill Inc, New York (1986)"},{"key":"844_CR37","doi-asserted-by":"crossref","unstructured":"Sartaj, H., Iqbal, M.Z., Jilani, A.A.A., Khan, M.U.: A search-based approach to generate mc\/dc test data for OCL constraints. In: International Symposium on Search Based Software Engineering, pp. 105\u2013120. Springer (2019)","DOI":"10.1007\/978-3-030-27455-9_8"},{"key":"844_CR38","doi-asserted-by":"crossref","unstructured":"Sartaj, H., Iqbal, M.Z., Khan, M.U.: Cdst: A toolkit for testing cockpit display systems. In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), pp. 436\u2013441. IEEE (2020)","DOI":"10.1109\/ICST46399.2020.00058"},{"key":"844_CR39","doi-asserted-by":"crossref","unstructured":"Smith, R.: An overview of the tesseract OCR engine. In: Ninth International Conference on Document Analysis and Recognition, 2007. ICDAR 2007, vol.\u00a02, pp. 629\u2013633, IEEE (2007)","DOI":"10.1109\/ICDAR.2007.4376991"},{"key":"844_CR40","doi-asserted-by":"crossref","unstructured":"Smith, R., Antonova, D., Lee, D.S.: Adapting the tesseract open source OCR engine for multilingual OCR. In: Proceedings of the International Workshop on Multilingual OCR, p.\u00a01. ACM (2009)","DOI":"10.1145\/1577802.1577804"},{"key":"844_CR41","volume-title":"661\u20133 Cockpit Display System Interfaces to User Systems","author":"A Specification","year":"2007","unstructured":"Specification, A.: 661\u20133 Cockpit Display System Interfaces to User Systems. Aeronautical Radio Inc, Annapolis (2007)"},{"key":"844_CR42","doi-asserted-by":"crossref","unstructured":"Ulbig, P., M\u00fcller, D., Torens, C., Insaurralde, C.C., Stripf, T., Durak, U.: Flight simulator-based verification for model-based avionics applications on multi-core targets. In: AIAA Scitech 2019 Forum, p. 1976 (2019)","DOI":"10.2514\/6.2019-1976"},{"key":"844_CR43","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2010","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Elsevier, Amsterdam (2010)"},{"key":"844_CR44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin (2012)"},{"key":"844_CR45","doi-asserted-by":"crossref","unstructured":"Yang, W., Prasad, M.R., Xie, T.: A grey-box approach for automated GUI-model generation of mobile applications. In: International Conference on Fundamental Approaches to Software Engineering, pp 250\u2013265. Springer (2013)","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"844_CR46","doi-asserted-by":"crossref","unstructured":"Yeh, T., Chang, T.H., Miller, R.C.: Sikuli: using GUI screenshots for search and automation. In: Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, pp 183\u2013192. ACM (2009)","DOI":"10.1145\/1622176.1622213"},{"issue":"2","key":"844_CR47","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/JSEE.2012.00035","volume":"23","author":"Y Yin","year":"2012","unstructured":"Yin, Y., Liu, B., Ni, H.: Real-time embedded software testing method based on extended finite state machine. J. Syst. Eng. Electron. 23(2), 276\u2013285 (2012)","journal-title":"J. Syst. Eng. Electron."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00844-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00844-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00844-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T22:10:21Z","timestamp":1638742221000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00844-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,4]]},"references-count":47,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["844"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00844-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,4]]},"assertion":[{"value":"28 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 November 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 January 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}