Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Abdelilah Sakti

dblp:31/10068 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Software testing › test coverage
code coverage
0.212015
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.212015
Instance Generator and Problem Representation to Improve Object Oriented Code Coverage · IEEE Trans. Software Eng. 2015
Software testing
test input generation
0.212015
Instance Generator and Problem Representation to Improve Object Oriented Code Coverage · IEEE Trans. Software Eng. 2015
Program analysis
static analysis
0.112015
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
YearPublicationVenuePosition
2016 Constraint Programming Approach for Spatial Packaging Problem
Abdelilah Sakti, Lawrence Zeidner, Tarik Hadzic, Brian St. Rock, Giusi Quartarone
CPAIOR1
2015 Instance Generator and Problem Representation to Improve Object Oriented Code Coverage
abstract
Search-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
CPAIOR1
2012 Boosting Search Based Testing by Using Constraint Based Testing
Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant
SSBSE1
2011 Divide-by-Zero Exception Raising via Branch Coverage
Neelesh Bhattacharya, Abdelilah Sakti, Giuliano Antoniol, Yann-Gaël Guéhéneuc, Gilles Pesant
SSBSE2