{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:55:53Z","timestamp":1775019353063,"version":"3.50.1"},"reference-count":26,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1134\/s0361768825700100","type":"journal-article","created":{"date-parts":[[2025,5,11]],"date-time":"2025-05-11T19:34:19Z","timestamp":1746992059000},"page":"123-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Graphics Shader Testing for On-Board Visualization System of Civil Aircraft"],"prefix":"10.1134","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2391-2067","authenticated-orcid":false,"given":"B. Kh.","family":"Barladian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1252-8294","authenticated-orcid":false,"given":"A. G.","family":"Voloboy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6350-851X","authenticated-orcid":false,"given":"L. Z.","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0614-9100","authenticated-orcid":false,"given":"E. Yu.","family":"Denisov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6460-7539","authenticated-orcid":false,"given":"V. A.","family":"Galaktionov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2025,5,12]]},"reference":[{"key":"3931_CR1","unstructured":"DO-178C software considerations in airborne systems and equipment certification. \nhttp:\/\/www.rtca.org\/store_product.asp?prodid=803."},{"key":"3931_CR2","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1134\/s0361768821060025","volume":"47","author":"B.Kh. Barladian","year":"2021","unstructured":"Barladian, B.Kh., Deryabin, N.B., Shapiro, L.Z., Solodelov, Yu.A., Voloboy, A.G., and Galaktion-ov,\u00a0V.A., Multiwindow rendering on a cockpit display using hardware acceleration, Program. Comput. Software, 2021, vol. 47, no. 6, pp. 457\u2013465. https:\/\/doi.org\/10.1134\/s0361768821060025","journal-title":"Program. Comput. Software"},{"key":"3931_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1134\/S0361768824700014","volume":"50","author":"B.Kh. Barladian","year":"2024","unstructured":"Barladian, B.Kh., Deryabin, N.B., Voloboy, A.G., Galaktionov, V.A., Shapiro, L.Z., Valiev, I.V., and Solodelov, Yu.A., Specifics of the development of an on-board visualization system for civil aircrafts, Program. Comput. Software, 2024, vol. 50, no. 3, pp. 215\u2013223. https:\/\/doi.org\/10.1134\/S0361768824700014","journal-title":"Program. Comput. Software"},{"key":"3931_CR4","unstructured":"The Mesa 3D Graphics Library. http:\/\/www.mesa3d.org. Cited December 20, 2024."},{"key":"3931_CR5","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/tse.2014.2372785","volume":"41","author":"E.T. Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., Mcminn, P., Shahbaz, M., and Yoo, Sh., The oracle problem in software testing: A survey, IEEE Trans. Software Eng., 2015, vol. 41, no. 5, pp. 507\u2013525. https:\/\/doi.org\/10.1109\/tse.2014.2372785","journal-title":"IEEE Trans. Software Eng."},{"key":"3931_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.25209\/2079-3316-2024-15-2-37-86","volume":"15","author":"S.F. Yakusheva","year":"2024","unstructured":"Yakusheva, S.F. and Khrisankov, A.S., A systematic survey of methods for designing test invariants, Programmnye Sistemy: Teoriya i Prilozheniya, 2024, vol. 15, no. 2, pp. 37\u201386. https:\/\/doi.org\/10.25209\/2079-3316-2024-15-2-37-86","journal-title":"Programmnye Sistemy: Teoriya i Prilozheniya"},{"key":"3931_CR7","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1109\/tse.2016.2532875","volume":"42","author":"S. Segura","year":"2016","unstructured":"Segura, S., Fraser, G., Sanchez, A.B., and Ruiz-Cortes, A., A survey on metamorphic testing, IEEE Trans. Software Eng., 2016, vol. 42, no. 9, pp. 805\u2013824. https:\/\/doi.org\/10.1109\/tse.2016.2532875","journal-title":"IEEE Trans. Software Eng."},{"key":"3931_CR8","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1142\/s0218194007003471","volume":"17","author":"R. Guderlei","year":"2007","unstructured":"Guderlei, R. and Mayer, J., Towards automatic testing of imaging software by means of random and metamorphic testing, Int. J. Software Eng. Knowl. Eng., 2007, vol.\u00a017, no. 6, pp. 757\u2013781. https:\/\/doi.org\/10.1142\/s0218194007003471","journal-title":"Int. J. Software Eng. Knowl. Eng."},{"key":"3931_CR9","doi-asserted-by":"publisher","unstructured":"Donaldson, A.F., Evrard, H., Lascu, A., and Thomson, P., Automated testing of graphics shader compilers, Proc. ACM Program. Lang., 2017, vol. 1, no. oopsla, p. 93. https:\/\/doi.org\/10.1145\/3133917","DOI":"10.1145\/3133917"},{"key":"3931_CR10","doi-asserted-by":"publisher","unstructured":"Donaldson, A.F., Thomson, P., Teliman, V., Milizia, S., Maselco, A.P., and Karpi\u0144ski, A., Test-case reduction and deduplication almost for free with transformation-based compiler testing, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, New York: Association for Computing Machinery, 2021, pp. 1017\u20131032. https:\/\/doi.org\/10.1145\/3453483.3454092","DOI":"10.1145\/3453483.3454092"},{"key":"3931_CR11","doi-asserted-by":"publisher","unstructured":"Donaldson, A.F., Evrard, H., and Thomson, P., Putting randomized compiler testing into production, 34th European Conference on Object-Oriented Programming (ECOOP 2020), Hirschfeld, R. and Pape, T., Eds., Leibniz International Proceedings in Informatics (LIPIcs), vol. 166, Dagstuhl, Germany: Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, 2020, p. 22. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2020.22","DOI":"10.4230\/LIPIcs.ECOOP.2020.22"},{"key":"3931_CR12","unstructured":"Google, GraphicsFuzz. GitHub repository. \nhttps:\/\/github.com\/google\/graphicsfuzz. Cited December 20, 2024."},{"key":"3931_CR13","unstructured":"The Vulkan conformance tests suite. https:\/\/docs.vulkan.org\/guide\/latest\/vulkan_cts.html. Cited December 20, 2024."},{"key":"3931_CR14","doi-asserted-by":"publisher","unstructured":"Xiao, D., Liu, Zh., and Wang, Sh., Metamorphic shader fusion for testing graphics shader compilers, 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, 2023, IEEE, 2023, pp. 2400\u20132412. https:\/\/doi.org\/10.1109\/icse48619.2023.00201","DOI":"10.1109\/icse48619.2023.00201"},{"key":"3931_CR15","doi-asserted-by":"publisher","unstructured":"Bernhard, L., Schiller, N., Schloegel, M., Bars, N., and Holz, T., DarthShader: Fuzzing WebGPU shader translators & compilers, Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, Salt Lake City, UT, 2024, New York: Association for Computing Machinery, 2024, pp. 690\u2013704. https:\/\/doi.org\/10.1145\/3658644.3690209","DOI":"10.1145\/3658644.3690209"},{"key":"3931_CR16","doi-asserted-by":"publisher","unstructured":"Donaldson, A.F. and Lascu, A., Metamorphic testing for (graphics) compilers, Proceedings of the 1st International Workshop on Metamorphic Testing, Austin, TX, 2016, New York: Association for Computing Machinery, 2016, pp. 44\u201347. https:\/\/doi.org\/10.1145\/2896971.2896978","DOI":"10.1145\/2896971.2896978"},{"key":"3931_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1556\/606.2019.14.1.4","volume":"14","author":"A.I. Sz\u0171cs","year":"2019","unstructured":"Sz\u0171cs, A.I., Improving graphics programming with shader tests, Pollack Periodica, 2019, vol. 14, no. 1, pp.\u00a035\u201346. https:\/\/doi.org\/10.1556\/606.2019.14.1.4","journal-title":"Pollack Periodica"},{"key":"3931_CR18","doi-asserted-by":"publisher","unstructured":"Crawford, L. and O\u2019Boyle, M., A cross-platform evaluation of graphics shader compiler optimization, 2018 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Belfast, UK, 2018, IEEE, 2018, pp. 219\u2013228. https:\/\/doi.org\/10.1109\/ispass.2018.00035","DOI":"10.1109\/ispass.2018.00035"},{"key":"3931_CR19","unstructured":"GFXBench\u2014A bencmarking suite for OpenGL shaders. https:\/\/gfxbench.com. Cited December 20, 2024."},{"key":"3931_CR20","doi-asserted-by":"publisher","unstructured":"Kuo, L.-W., Yang, C.-C., Lee, J.-K., and Tseng, S.-Y., The design of LLVM-based shader compiler for embedded architecture, 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS), Hsinchu, Taiwan, 2014, IEEE, 2014, pp. 961\u2013968. https:\/\/doi.org\/10.1109\/padsw.2014.7097916","DOI":"10.1109\/padsw.2014.7097916"},{"key":"3931_CR21","unstructured":"SCADE Suite. https:\/\/cae-expert.ru\/product\/scade-suite. Cited December 20, 2024."},{"key":"3931_CR22","doi-asserted-by":"crossref","unstructured":"Simpson, R.J. and Kessenich, J., The OPENGL ES shading language. Language Version 1, The Khronos Group, 2009. https:\/\/www.khronos.org\/files\/opengles_shading_language.pdf.","DOI":"10.1007\/978-1-84800-901-1_9"},{"key":"3931_CR23","volume-title":"The OpenGL ES Shading Language Version 3.20.6","author":"R.J. Simpson","year":"2019","unstructured":"Simpson, R.J. and Kessenich, J., The OpenGL ES Shading Language Version 3.20.6, The Khronos Group, 2019."},{"key":"3931_CR24","volume-title":"OpenGL ES 2.0 Programming Guide","author":"A. Munshi","year":"2008","unstructured":"Munshi, A., Ginsburg, D., and Shreiner, D., OpenGL ES 2.0 Programming Guide, Boston: Addison-Wesley, 2008."},{"key":"3931_CR25","unstructured":"i.MX 6 Series Applications Processors. \nhttps:\/\/www.nxp.com\/products\/processors-and-microcontrollers\/arm-processors\/i-mx-applications-processors\/i-mx-6-processors:IMX6X_SERIES. Cited December 20, 2024."},{"key":"3931_CR26","doi-asserted-by":"publisher","first-page":"171","DOI":"10.15514\/ispras-2017-29(3)-10","volume":"29","author":"Yu.A. Solodelov","year":"2017","unstructured":"Solodelov, Yu.A. and Gorelits, N.K., Certifiable onboard real-time operation system JetOS for Russian aircrafts design, Trudy Instituta Sistemnogo Programmirovaniya Rossiiskoi Akademii Nauk, 2017, vol. 29, no. 3, pp. 171\u2013178. https:\/\/doi.org\/10.15514\/ispras-2017-29(3)-10","journal-title":"Trudy Instituta Sistemnogo Programmirovaniya Rossiiskoi Akademii Nauk"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768825700100.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768825700100","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768825700100.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:59:59Z","timestamp":1775012399000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768825700100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,12]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["3931"],"URL":"https:\/\/doi.org\/10.1134\/s0361768825700100","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,12]]},"assertion":[{"value":"20 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 May 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors of this work declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}