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

Overview
Research
Identity
Additional Document Info
View All

authors

Formica, Federico
Mahboob, Mohammad Mahdi
Askarpour, Mehrnoosh
Menghi, Claudio

status

published

publication date

July 10, 2024

published in

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

presented at event

FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering Conference