Mohammad Mahdi Mahboob

According to our database, Mohammad Mahdi Mahboob authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

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

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

2023

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.

Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi

Inf. Softw. Technol., November, 2023

2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022