Profil

GAALOUL KHOULOUD

Main Referenced Co-authors
BRIAND, Lionel  (4)
MENGHI, Claudio  (4)
NEJATI, Shiva  (4)
Wolfe, David (2)
Foster, Stephen (1)
Main Referenced Keywords
Model checking (3); Decision trees (2); Environment assumptions (2); Machine learning (2); Search-based software testing (2);
Main Referenced Unit & Research Centers
ULHPC - University of Luxembourg: High Performance Computing (3)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (1)
Main Referenced Disciplines
Computer science (5)

Publications (total 5)

The most downloaded
47 downloads
Gaaloul, K. (2021). Verification of design models of cyber-physical systems specified in Simulink [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/48071 https://hdl.handle.net/10993/48071

The most cited

38 citations (Scopus®)

Menghi, C., Nejati, S., Gaaloul, K., & Briand, L. (2019). Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19) (pp. 27-38). ACM. doi:10.1145/3338906.3338920 https://hdl.handle.net/10993/39991

Gaaloul, K., Menghi, C., Nejati, S., Briand, L., & Isasi Parache, Y. (2022). Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2021.3101818
Peer Reviewed verified by ORBi

Gaaloul, K. (2021). Verification of design models of cyber-physical systems specified in Simulink [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/48071

Gaaloul, K., Menghi, C., Nejati, S., Briand, L., & Wolfe, D. (2020). Mining Assumptions for Software Components using Machine Learning. In Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3368089.3409737
Peer reviewed

Menghi, C., Nejati, S., Gaaloul, K., & Briand, L. (2019). Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19) (pp. 27-38). ACM. doi:10.1145/3338906.3338920
Peer reviewed

Nejati, S., Gaaloul, K., Menghi, C., Briand, L., Foster, S., & Wolfe, D. (2019). Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3338906.3340444
Peer reviewed

Contact ORBilu