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)

Search in publications

The most downloaded

56 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

https://hdl.handle.net/10993/47740

Peer Reviewed verified by ORBi

https://hdl.handle.net/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

https://hdl.handle.net/10993/43473

Peer reviewed

https://hdl.handle.net/10993/39991

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

https://hdl.handle.net/10993/39794

Peer reviewed