Divide-by-Zero Exception Raising via Branch Coverage. - Neelesh Bhattacharya; Abdelilah Sakti; Giuliano Antoniol; Yann-Gaël Guéhéneuc; Gilles Pesant (SSBSE, 2011)

Boosting Search Based Testing by Using Constraint Based Testing. - Abdelilah Sakti; Yann-Gaël Guéhéneuc; Gilles Pesant (SSBSE, 2012)

Constraint-Based Fitness Function for Search-Based Software Testing. - Abdelilah Sakti; Yann-Gaël Guéhéneuc; Gilles Pesant (CPAIOR, 2013)

JTExpert at the Third Unit Testing Tool Competition. - Abdelilah Sakti; Gilles Pesant; Yann-Gaël Guéhéneuc (SBST@ICSE, 2015)

Instance Generator and Problem Representation to Improve Object Oriented Code Coverage. - Abdelilah Sakti; Gilles Pesant; Yann-Gaël Guéhéneuc (IEEE Trans. Software Eng., 2015)

Constraint Programming Approach for Spatial Packaging Problem. - Abdelilah Sakti; Lawrence Zeidner; Tarik Hadzic; Brian St. Rock; Giusi Quartarone (CPAIOR, 2016)

JTExpert at the fourth unit testing tool competition. - Abdelilah Sakti; Gilles Pesant; Yann-Gaël Guéhéneuc (SBST@ICSE, 2016)

JTeXpert at the SBST 2017 Tool Competition. - Abdelilah Sakti; Gilles Pesant; Yann-Gaël Guéhéneuc (SBST@ICSE, 2017)