Khouloud Gaaloul

16 papers A 1B 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems.
CoRR
Hadiza Umar Yusuf, Khouloud Gaaloul
2025 J jnl
Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation.
CoRR
Baharin Aliashrafi Jodat, Khouloud Gaaloul, Mehrdad Sabetzadeh, Shiva Nejati
2025 B conf
Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems.
CAIN
Hadiza Umar Yusuf, Khouloud Gaaloul
2025 J jnl
Systematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots.
CoRR
Zaid Ghazal, Ali Al-Bustami, Khouloud Gaaloul, Jaerock Kwon
2024 A conf
Mind the Gap: The Disconnect Between Refactoring Criteria Used in Industry and Refactoring Recommendation Tools.
ICSME
James Ivers, Anwar Ghammam, Khouloud Gaaloul, Ipek Ozkaya, Marouane Kessentini, Wajdi Aljedaani
2023 J jnl
Dependent or Not: Detecting and Understanding Collections of Refactorings.
IEEE Trans. Software Eng.
Thiago do Nascimento Ferreira, James Ivers, Jeffrey J. Yackley, Marouane Kessentini, Ipek Ozkaya, Khouloud Gaaloul
2022 J jnl
Combining Genetic Programming and Model Checking to Generate Environment Assumptions.
IEEE Trans. Software Eng.
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2022 J jnl
What Refactoring Topics Do Developers Discuss? A Large Scale Empirical Study Using Stack Overflow.
IEEE Access
Chaima Abid, Khouloud Gaaloul, Marouane Kessentini, Vahid Alizadeh
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
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
2021 J jnl
Combining Genetic Programming and Model Checking to Generate Environment Assumptions.
CoRR
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2021 — —
Verification of design models of cyber-physical systems specified in Simulink.
Khouloud Gaaloul
2020 — conf
Mining assumptions for software components using machine learning.
ESEC/SIGSOFT FSE
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe
2019 J jnl
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models.
CoRR
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
2019 — conf
Evaluating model testing and model checking for finding requirements violations in Simulink models.
ESEC/SIGSOFT FSE
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
2019 J jnl
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors.
CoRR
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
2019 — conf
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors.
ESEC/SIGSOFT FSE
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand