Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device. - Mostafa Ayesh; Namya Mehan; Ethan Dhanraj; Abdul El-Rahwan; Simon Emil Opalka; Tony Fan; Akil Hamilton; Akshay Mathews Jacob; Rahul Anthony Sundarrajan; Bryan Widjaja; Claudio Menghi (ARCH@SAFECOMP, 2022)

Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. - Federico Formica; Tony Fan; Claudio Menghi (ACM Trans. Softw. Eng. Methodol., 2024)

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. - Federico Formica; Tony Fan; Akshay Rajhans; Vera Pantelic; Mark Lawford; Claudio Menghi (IEEE Trans. Software Eng., 2024)