Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. - Claudio Menghi; Shiva Nejati 001; Khouloud Gaaloul; Lionel C. Briand (ESEC/SIGSOFT FSE, 2019)

Evaluating model testing and model checking for finding requirements violations in Simulink models. - Shiva Nejati 001; Khouloud Gaaloul; Claudio Menghi; Lionel C. Briand; Stephen Foster; David Wolfe (ESEC/SIGSOFT FSE, 2019)

Mining assumptions for software components using machine learning. - Khouloud Gaaloul; Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; David Wolfe (ESEC/SIGSOFT FSE, 2020)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Verification of design models of cyber-physical systems specified in Simulink. - Khouloud Gaaloul (2021)

What Refactoring Topics Do Developers Discuss? A Large Scale Empirical Study Using Stack Overflow. - Chaima Abid; Khouloud Gaaloul; Marouane Kessentini; Vahid Alizadeh (IEEE Access, 2022)

Combining Genetic Programming and Model Checking to Generate Environment Assumptions. - Khouloud Gaaloul; Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (IEEE Trans. Software Eng., 2022)

Dependent or Not: Detecting and Understanding Collections of Refactorings. - Thiago do Nascimento Ferreira; James Ivers; Jeffrey J. Yackley; Marouane Kessentini; Ipek Ozkaya; Khouloud Gaaloul (IEEE Trans. Software Eng., 2023)

Mind the Gap: The Disconnect Between Refactoring Criteria Used in Industry and Refactoring Recommendation Tools. - James Ivers; Anwar Ghammam; Khouloud Gaaloul; Ipek Ozkaya; Marouane Kessentini; Wajdi Aljedaani (ICSME, 2024)

Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems. - Hadiza Umar Yusuf; Khouloud Gaaloul (CAIN, 2025)

Systematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots. - Zaid Ghazal; Ali Al-Bustami; Khouloud Gaaloul; Jaerock Kwon (CoRR, 2025)