Khouloud Gaaloul

According to our database, Khouloud Gaaloul authored at least 8 papers between 2019 and 2023.

Collaborative distances:

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

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