E-LIB Suche - Ergebnisse für: Gaaloul, Khouloud

1

Dependent or Not: Detecting and Understanding Collections o..:

Ferreira, Thiago ; Ivers, James ; Yackley, Jeffrey J....
IEEE Transactions on Software Engineering. , 2023

Link: https://doi.org/10.1109/..

2

What Refactoring Topics Do Developers Discuss? A Large Scal..:

Abid, Chaima ; Gaaloul, Khouloud ; Kessentini, Marouane.
IEEE Access. 10 (2022) - p. 56362-56374 , 2022

Link: https://doi.org/10.1109/..

3

Combining Genetic Programming and Model Checking to Generat..:

Gaaloul, Khouloud ; Menghi, Claudio ; Nejati, Shiva..
IEEE Transactions on Software Engineering. 48 (2022) 9 - p. 3664-3685 , 2022

Link: https://doi.org/10.1109/..

4

Tracheal Hemangioma: A Rare Cause of Hemoptysis in Children:

Barbaria, Wiem ; Khamassi, Ichrak ; Gaaloul, Khouloud..
Ear, Nose & Throat Journal. , 2022

Link: https://doi.org/10.1177/..

5

Mining assumptions for software components using machine le..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Gaaloul, Khouloud ; Menghi, Claudio ; Nejati, Shiva.. - p. 159-171 , 2020

Link: https://dl.acm.org/doi/1..

6

Generating automated and online test oracles for Simulink m..:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Menghi, Claudio ; Nejati, Shiva ; Gaaloul, Khouloud. - p. 27-38 , 2019

Link: https://dl.acm.org/doi/1..

7

Evaluating model testing and model checking for finding req..:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Nejati, Shiva ; Gaaloul, Khouloud ; Menghi, Claudio... - p. 1015-1025 , 2019

Link: https://dl.acm.org/doi/1..

8

Combining Genetic Programming and Model Checking to Generat..:

Gaaloul, Khouloud ; Menghi, Claudio ; Nejati, Shiva..
http://orbilu.uni.lu/handle/10993/47740. , 2022

Link: http://orbilu.uni.lu/han..

9

Verification of design models of cyber-physical systems spe..:

Gaaloul, Khouloud
http://orbilu.uni.lu/handle/10993/48071. , 2021

Link: http://orbilu.uni.lu/han..

10

Combining Genetic Programming and Model Checking to Generat..:

Gaaloul, Khouloud ; Menghi, Claudio ; Nejati, Shiva..
http://arxiv.org/abs/2101.01933. , 2021

Link: http://arxiv.org/abs/210..

11

EPIcuRus:

Gaaloul, Khouloud ; Menghi, Claudio ; Nejati, Shiva.
info:eu-repo/grantAgreement/EC/H2020/694277/. , 2020

Link: https://zenodo.org/recor..

12

Mining Assumptions for Software Components using Machine Le..:

Gaaloul, Khouloud ; Menghi, Claudio ; Nejati, Shiva..
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (From 8-11-2020 to 29-11-202). , 2020

Link: http://orbilu.uni.lu/han..

13

Generating Automated and Online Test Oracles for Simulink M..:

Menghi, Claudio ; Nejati, Shiva ; Gaaloul, Khouloud.
27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '19),, Seleziona, Italy (from 26-08-2019 to 30-08-2019). , 2019

Link: http://orbilu.uni.lu/han..

14

Evaluating Model Testing and Model Checking for Finding Req..:

Nejati, Shiva ; Gaaloul, Khouloud ; Menghi, Claudio...
http://arxiv.org/abs/1905.03490. , 2019

Link: http://arxiv.org/abs/190..

15

Evaluating Model Testing and Model Checking for Finding Req..:

Nejati, Shiva ; Gaaloul, Khouloud ; Menghi, Claudio...
The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (from 26-08-2019 to 30-08-2019). , 2019

Link: http://orbilu.uni.lu/han..