{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:48:11Z","timestamp":1782377291476,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3793654.3793753","type":"proceedings-article","created":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:05:18Z","timestamp":1782374718000},"page":"175-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Separating Valid from Invalid Inputs for a Digital Aircraft Design Tool"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8746-7089","authenticated-orcid":false,"given":"Malte Christian","family":"Struck","sequence":"first","affiliation":[{"name":"German Aerospace Center (DLR), Institute of Software Technology, Bremen, Germany and University of Cologne, Cologne, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8143-246X","authenticated-orcid":false,"given":"Alexander","family":"Weinert","sequence":"additional","affiliation":[{"name":"German Aerospace Center (DLR), Institute of Software Technology, Cologne, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9919-9640","authenticated-orcid":false,"given":"Andreas","family":"Schuster","sequence":"additional","affiliation":[{"name":"German Aerospace Center (DLR), Institute of Lightweight Systems, Brunswick, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3818-4442","authenticated-orcid":false,"given":"Michael","family":"Felderer","sequence":"additional","affiliation":[{"name":"German Aerospace Center (DLR), Institute of Software Technology, Oberpfaffenhofen, Germany and University of Cologne, Cologne, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,25]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Aghyad Albaghajati and Moataz Ahmed. 2022. A co-evolutionary genetic algorithms approach to detect video game bugs. J. Sys. and Soft. 188 (2022) 111261. 10.1016\/j.jss.2022.111261","DOI":"10.1016\/j.jss.2022.111261"},{"key":"e_1_3_3_1_3_2","volume-title":"Aerospace Europe Conference 2020","author":"Alder Marko","year":"2020","unstructured":"Marko Alder, Erwin Moerland, Jonas Jepsen, and Bj\u00f6rn Nagel. 2020. Recent Advances in Establishing a Common Language for Aircraft Design with CPACS. In Aerospace Europe Conference 2020. https:\/\/elib.dlr.de\/134341\/"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"C.\u00a0Bradford Barber David\u00a0P. Dobkin and Hannu Huhdanpaa. 1996. The quickhull algorithm for convex hulls. ACM Trans. Math. Softw. 22 4 (Dec. 1996) 469\u2013483. 10.1145\/235815.235821","DOI":"10.1145\/235815.235821"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Earl\u00a0T. Barr Mark Harman Phil McMinn Muzammil Shahbaz and Shin Yoo. 2015. The Oracle Problem in Software Testing: A Survey. IEEE Trans. on Softw. Eng. 41 5 (May 2015) 507\u2013525. 10.1109\/tse.2014.2372785","DOI":"10.1109\/tse.2014.2372785"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Brigitte Boden Jan Flink Niklas F\u00f6rst Robert Mischke Kathrin Schaffert Alexander Weinert Annika Wohlan and Andreas Schreiber. 2021. RCE: An Integration Environment for Engineering and Science. SoftwareX 15 (2021) 100759. 10.1016\/j.softx.2021.100759","DOI":"10.1016\/j.softx.2021.100759"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970343"},{"key":"e_1_3_3_1_8_2","unstructured":"Felix Dobslaw Robert Feldt and Francisco de Oliveira\u00a0Neto. 2022. Automated Black-Box Boundary Value Detection. arxiv:https:\/\/arXiv.org\/abs\/2207.09065\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2207.09065"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Stephan Druskat Nasir\u00a0U. Eisty Robert Chisholm Neil\u00a0P. Chue\u00a0Hong Ryan\u00a0C. Cocking Myra\u00a0B. Cohen Michael Felderer Lars Grunske Sarah\u00a0A. Harris Wilhelm Hasselbring Thomas Krause Jan Linxweiler and Colin\u00a0C. Venters. 2025. Better Architecture Better Software Better Research. Comp. in Sci. & Eng. 27 2 (2025) 45\u201357. 10.1109\/MCSE.2025.3573887","DOI":"10.1109\/MCSE.2025.3573887"},{"key":"e_1_3_3_1_10_2","volume-title":"Coupling Local and Global Shape Optimization in Aerodynamic Design","author":"Duvigneau R\u00e9gis","year":"2011","unstructured":"R\u00e9gis Duvigneau. 2011. Coupling Local and Global Shape Optimization in Aerodynamic Design. resreport inria-00608846. INRIA. Available at https:\/\/hal.inria.fr\/inria-00608846."},{"key":"e_1_3_3_1_11_2","volume-title":"DELiS Dokumentation","author":"Freund Sebastian","year":"2020","unstructured":"Sebastian Freund, Andreas Schuster, Falk Heinecke, Raffael Bogenfeld, Christian Willberg, Martin R\u00e4del, and Tanja F\u00fchrer. 2020. DELiS Dokumentation. Technical Report. German Aerospace Center (DLR), Institut f\u00fcr Faserverbundleichtbau und Adaptronik."},{"key":"e_1_3_3_1_12_2","volume-title":"4th European Aeronautics Science Network International Workshop","author":"F\u00fchrer Tanja","year":"2014","unstructured":"Tanja F\u00fchrer, Christian Willberg, Sebastian Freund, and Falk Heinecke. 2014. Parametric model generation and automated sizing process for the analysis of aircraft structures using the design environment DELiS. In 4th European Aeronautics Science Network International Workshop."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Tanja F\u00fchrer Christian Willberg Sebastian Freund and Falk Heinecke. 2016. Automated model generation and sizing of aircraft structures. Air. Eng. and Aero. Tech. 88 2 (March 2016) 268\u2013276. 10.1108\/aeat-02-2015-0054","DOI":"10.1108\/aeat-02-2015-0054"},{"key":"e_1_3_3_1_14_2","unstructured":"German Aerospace Center. 2025. Virtual Product House. https:\/\/www.dlr.de\/en\/vph. Accessed October 24 2025."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Christophe Geuzaine and Jean-Fran\u00e7ois Remacle. 2009. Gmsh: A 3-D finite element mesh generator with built-in pre- and post-processing facilities. Int. J. for Num. Meth. in Eng. 79 11 (2009) 1309\u20131331. 10.1002\/nme.2579","DOI":"10.1002\/nme.2579"},{"key":"e_1_3_3_1_16_2","unstructured":"Alberto Goffi. 2018. Automating Test Oracles Generation. Ph.\u00a0D. Dissertation. Universit\u00e0 della Svizzera italiana."},{"key":"e_1_3_3_1_17_2","volume-title":"AIAA Aviation Forum, Atlanta, GA","author":"Gregg Robert\u00a0D.","year":"2018","unstructured":"Robert\u00a0D. Gregg. 2018. AIAA Forum 360 Panel Discussion on Certification by Analysis. In AIAA Aviation Forum, Atlanta, GA."},{"key":"e_1_3_3_1_18_2","volume-title":"The characteristics of 78 related airfoil sections from tests in the variable-density wind tunnel","author":"Jacobs Eastman\u00a0N.","year":"1933","unstructured":"Eastman\u00a0N. Jacobs, Kenneth\u00a0E. Ward, and Robert\u00a0M. Pinkerton. 1933. The characteristics of 78 related airfoil sections from tests in the variable-density wind tunnel. Technical Report 460. NACA. Available at https:\/\/ntrs.nasa.gov\/citations\/19930091108."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Arne Johanson and Wilhelm Hasselbring. 2018. Software Engineering for Computational Science: Past Present Future. Comp. in Sci. & Eng. 20 2 (March 2018) 90\u2013109. 10.1109\/mcse.2018.021651343","DOI":"10.1109\/mcse.2018.021651343"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Nan Li and Jeff Offutt. 2017. Test Oracle Strategies for Model-Based Testing. IEEE Trans. on Softw. Eng. 43 4 (April 2017) 372\u2013395. 10.1109\/tse.2016.2597136","DOI":"10.1109\/tse.2016.2597136"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","unstructured":"Bogdan Marculescu and Robert Feldt. 2018. Finding a Boundary between Valid and Invalid Regions of the Input Space. (2018) 169\u2013178. 10.1109\/APSEC.2018.00031","DOI":"10.1109\/APSEC.2018.00031"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Facundo Molina Alessandra Gorla and Marcelo d\u2019Amorim. 2025. Test Oracle Automation in the Era of LLMs. ACM Trans. on Softw. Eng. and Meth. 34 5 (May 2025) 1\u201324. 10.1145\/3715107","DOI":"10.1145\/3715107"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Alessandra Nigro Salvatore Renda Carmine De\u00a0Bartolo Ralf Hartmann and Francesco Bassi. 2013. A high-order accurate discontinuous Galerkin finite element method for laminar low Mach number flows. International Journal for Numerical Methods in Fluids 72 1 (2013) 43\u201368. https:\/\/elib.dlr.de\/78653\/","DOI":"10.1002\/fld.3732"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","unstructured":"Jonatan N\u00fa\u00f1ez David Huergo Diego Lodares Suyash Shrestha Juan Guerra Juan Florenciano Esteban Ferrer and Eusebio Valero. 2025. Implementation of immersed boundaries via volume penalization in the industrial aeronautical computational fluid dynamics solver CODA. Eng. with Comp. 41 4 (Feb. 2025) 2571\u20132592. 10.1007\/s00366-025-02119-x","DOI":"10.1007\/s00366-025-02119-x"},{"key":"e_1_3_3_1_25_2","unstructured":"Prasanth Shankara. 2019. Certifiably Cheaper. Aerospace Testing International SHOWCASE 2019 (2019)."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Martin Siggel Jan Kleinert Tobias Stollenwerk and Reinhold Maierl. 2019. TiGL: An Open Source Computational Geometry Library for Parametric Aircraft Design. Math. in Comp. Sci. 13 3 (2019) 367\u2013389. 10.1007\/s11786-019-00401-y","DOI":"10.1007\/s11786-019-00401-y"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Meysam Valueian Niousha Attar Hassan Haghighi and Mojtaba Vahidi-Asl. 2019. Constructing Automated Test Oracle for Low Observable Software. Sci. Iran. 0 0 (Aug. 2019) 0\u20130. 10.24200\/sci.2019.51494.2219","DOI":"10.24200\/sci.2019.51494.2219"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","unstructured":"Pauli Virtanen Ralf Gommers Travis\u00a0E. Oliphant Matt Haberland Tyler Reddy David Cournapeau Evgeni Burovski Pearu Peterson Warren Weckesser Jonathan Bright St\u00e9fan\u00a0J. van der Walt Matthew Brett Joshua Wilson K.\u00a0Jarrod Millman Nikolay Mayorov Andrew R.\u00a0J. Nelson Eric Jones Robert Kern Eric Larson C\u00a0J Carey \u0130lhan Polat Yu Feng Eric\u00a0W. Moore Jake VanderPlas Denis Laxalde Josef Perktold Robert Cimrman Ian Henriksen E.\u00a0A. Quintero Charles\u00a0R. Harris Anne\u00a0M. Archibald Ant\u00f4nio\u00a0H. Ribeiro Fabian Pedregosa Paul van Mulbregt and SciPy 1.0 Contributors. 2020. SciPy 1.0: Fundamental Algorithms for Scientific Computing in Python. Nat. Meth. 17 (2020) 261\u2013272. 10.1038\/s41592-019-0686-2","DOI":"10.1038\/s41592-019-0686-2"}],"event":{"name":"AST '26: 7th ACM\/IEEE International Conference on Automation of Software Test","location":"Rio de Janeiro Brazil","acronym":"AST '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE TCSE"]},"container-title":["Proceedings of the 7th ACM\/IEEE International Conference on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793654.3793753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:07:43Z","timestamp":1782374863000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793654.3793753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":27,"alternative-id":["10.1145\/3793654.3793753","10.1145\/3793654"],"URL":"https:\/\/doi.org\/10.1145\/3793654.3793753","relation":{},"subject":[],"published":{"date-parts":[[2026,4,13]]},"assertion":[{"value":"2026-06-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}