Khouloud Gaaloul

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 10

Top Topics

Reactive Systems

Process Algebra

Temporal Properties

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Software Eng.

Publications

Thiago do Nascimento Ferreira, James Ivers, Jeffrey J. Yackley, Marouane Kessentini, Ipek Ozkaya, Khouloud Gaaloul
Dependent or Not: Detecting and Understanding Collections of Refactorings. IEEE Trans. Software Eng. 49 (6) (2023)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Trans. Software Eng. 48 (9) (2022)
Chaima Abid, Khouloud Gaaloul, Marouane Kessentini, Vahid Alizadeh
What Refactoring Topics Do Developers Discuss? A Large Scale Empirical Study Using Stack Overflow. IEEE Access 10 (2022)
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
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. CoRR (2021)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe
Mining assumptions for software components using machine learning. ESEC/SIGSOFT FSE (2020)
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
Evaluating model testing and model checking for finding requirements violations in Simulink models. ESEC/SIGSOFT FSE (2019)
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. CoRR (2019)
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. ESEC/SIGSOFT FSE (2019)
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. CoRR (2019)