Malte Christian Struck, Alexander Weinert, Andreas Schuster, Michael Felderer. Separating Valid from Invalid Inputs for a Digital Aircraft Design Tool. In Breno Miranda, Morena Barboni, Ana Paiva 0001, Markus Borg, Andy Zaidman, editors, Proceedings of the 7th ACM/IEEE International Conference on Automation of Software Test, AST 2026, Rio de Janeiro, Brazil, April 13-14, 2026. pages 175-184, ACM, 2026. [doi]
Abstract is missing.