Demo Data from EDBT 2026 / reviewers in the wild / expert
Abdelilah Sakti
dblp:31/10068
· DBLP profile ↗
5ranked-venue papers
4as first author
0since 2021 · last 2016
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 3 first-authorSoftware engineering, systems software and programming languages · 3 · 2 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 91% Program analysis · 9% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › test coverage
code coverage |
0.2 | 1 | 2015 | Instance Generator and Problem Representation to Improve Object Oriented Code Coverage · IEEE Trans. Software Eng. 2015 |
Software testing › test input generation
search-based test data generation |
0.2 | 1 | 2015 | Instance Generator and Problem Representation to Improve Object Oriented Code Coverage · IEEE Trans. Software Eng. 2015 |
Software testing
test input generation |
0.2 | 1 | 2015 | Instance Generator and Problem Representation to Improve Object Oriented Code Coverage · IEEE Trans. Software Eng. 2015 |
Program analysis
static analysis |
0.1 | 1 | 2015 | Instance Generator and Problem Representation to Improve Object Oriented Code Coverage · IEEE Trans. Software Eng. 2015 |
Methods — techniques the papers use, named apart from their topics
seeding strategies · 0.2search-based software testing · 0.2diversification strategy · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | Constraint Programming Approach for Spatial Packaging Problem
Abdelilah Sakti, Lawrence Zeidner, Tarik Hadzic, Brian St. Rock, Giusi Quartarone |
CPAIOR | 1 |
| 2015 | Instance Generator and Problem Representation to Improve Object Oriented Code CoverageabstractSearch-based approaches have been extensively applied to solve the problem of software test-data generation. Yet, test-data generation for object-oriented programming (OOP) is challenging due to the features of OOP, e.g., abstraction, encapsulation, and visibility that prevent direct access to some parts of the source code. To address this problem we present a new automated search-based software test-data generation approach that achieves high code coverage for unit-class testing. We first describe how we structure the test-data generation problem for unit-class testing to generate relevant sequences of method calls. Through a static analysis, we consider only methods or constructors changing the state of the class-under-test or that may reach a test target. Then we introduce a generator of instances of classes that is based on a family of means-of-instantiation including subclasses and external factory methods. It also uses a seeding strategy and a diversification strategy to increase the likelihood to reach a test target. Using a search heuristic to reach all test targets at the same time, we implement our approach in a tool, JTExpert, that we evaluate on more than a hundred Java classes from different open-source libraries. JTExpert gives better results in terms of search time and code coverage than the state of the art, EvoSuite, which uses traditional techniques. Abdelilah Sakti, Gilles Pesant, Yann-Gaël Guéhéneuc |
IEEE Trans. Software Eng. | 1 |
| 2013 | Constraint-Based Fitness Function for Search-Based Software Testing
Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant |
CPAIOR | 1 |
| 2012 | Boosting Search Based Testing by Using Constraint Based Testing
Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant |
SSBSE | 1 |
| 2011 | Divide-by-Zero Exception Raising via Branch Coverage
Neelesh Bhattacharya, Abdelilah Sakti, Giuliano Antoniol, Yann-Gaël Guéhéneuc, Gilles Pesant |
SSBSE | 2 |