Khouloud Gaaloul, Ph.D.

Assistant Professor, Computer and Information Science
Gaaloul CIS
College of Engineering and Computer Science
Computer and Information Science
DAIR
313-593-5364
238 Computer and Information Science Building | 4901 Evergreen Road | Dearborn, MI 48128
Tuesday: 3:30-4:30 PM and Thursday:1:00-3:00 PM or by Apt

Teaching Areas:

Computer and Information Science, Software Engineering

Research Areas:

Artificial Intelligence, Data Science, Machine Learning, Optimization, and Intelligent Systems, Software Engineering

Biography and Education

Education

  • Ph.D., University of Luxembourg, Luxembourg
  • B.Sc., Higher National School of Engineering of Tunis (ENSIT), Tunisia

Teaching and Research

Courses Taught

Selected Publications

  1. 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: 56362-56374, 2022.
  2. Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, and DavidWolfe. “Combining Genetic Programming and Model Checking to Generate Environment Assumptions.” In press. IEEE Transactions on Software Engineering TSE, 48(9): 3664-3685, 2022.
  3. Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C Briand, Stephen Foster, and DavidWolfe. “Evaluating model testing and model checking for finding requirements violations in simulink models.” In European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE. ACM, 2019
  4. Menghi, Claudio, Shiva Nejati, Khouloud Gaaloul, and Lionel C. Briand. ”Generating automated and online test oracles for simulink models with continuous and uncertain behaviors.” In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, FSE 2019 pp. 27-38. 2019
  5. Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, and DavidWolfe. “Mining assumptions for software components using machine learning.” In Foundations of Software Engineering (ESEC/FSE). ACM, 2020.
  6. 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@ADHS2021: 133-152
  7. C. Abid, K. Gaaloul, M. Kessentini and V. Alizadeh, ”What Refactoring Topics Do Developers Discuss? A Large Scale Empirical Study Using Stack Overflow,” in IEEE Access, doi: 10.1109/ACCESS.2021.3140036

Awards and Recognition

  • Visualization co-chair The 37th IEEE/ACM International Conference on Automated Software Engineering
  • Distinguished PhD Dissertation Award University of Luxembourg
  • ACM SIGSOFT Distinguished Paper ESEC