![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |