Khouloud Gaaloul

According to our database, Khouloud Gaaloul authored at least 11 papers between 2019 and 2025.

Collaborative distances:

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

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, May, 2025

Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems.

Hadiza Umar Yusuf, Khouloud Gaaloul

Proceedings of the 4th IEEE/ACM International Conference on AI Engineering, 2025

2024

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

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2024

2023

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., June, 2023

2022

Combining Genetic Programming and Model Checking to Generate Environment Assumptions.

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

IEEE Trans. Software Eng., 2022

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

2021

Verification of design models of cyber-physical systems specified in Simulink.

Khouloud Gaaloul

PhD thesis, 2021

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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Mining assumptions for software components using machine learning.

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Evaluating model testing and model checking for finding requirements violations in Simulink models.

Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors.

Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019