Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering Journal

Overview

publication venue for

ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise 2024