Skip to content

Youssef El Bakouny

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

4

Active years

2017–2025

Best venue rank

C

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2025ICMLAAI-Driven Test Generation from Natural Language: A Gamified Framework for Automated UI Testing.Maroun Ayli, Youssef El Bakouny, Nader Jalloul, Hani Seifeddine, Rima Kilany
2024MEDESEnhancing UI Tests Robustness With Graph Convolutional Networks.Maroun Ayli, Youssef El Bakouny, Hani Seifeddine, Nader Jalloul, Rima Kilany
2018APLASScallina: Translating Verified Programs from Coq to Scala.Youssef El Bakouny, Dani Mezher
2017ECOOPA Coq-based synthesis of Scala programs which are correct-by-construction.Youssef El Bakouny, Tristan Crolard, Dani Mezher