​
Login / Signup
Mohammad Mahdi Mahboob
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Software Requirements
Domain Expertise
Search Based Testing
Semantic Categories
Top Venues
Inf. Softw. Technol.
CoRR
ARCH@SAFECOMP
SIGSOFT FSE Companion
</>
Publications
</>
Federico Formica
,
Mohammad Mahdi Mahboob
,
Mehrnoosh Askarpour
,
Claudio Menghi
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.
SIGSOFT FSE Companion
(2024)
Shiva Nejati
,
Lev Sorokin
,
Damir Safin
,
Federico Formica
,
Mohammad Mahdi Mahboob
,
Claudio Menghi
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
CoRR
(2023)
Shiva Nejati
,
Lev Sorokin
,
Damir Safin
,
Federico Formica
,
Mohammad Mahdi Mahboob
,
Claudio Menghi
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
Inf. Softw. Technol.
163 (2023)
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
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
ARCH@SAFECOMP
(2022)