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
Demo Data from EDBT 2026 / reviewers in the wild / expert

Neset Sozen

dblp:116/6651 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2012
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1

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 maintenance and evolution · 61% Program analysis · 30% Program verification · 9%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software maintenance and evolution
feature location		 0.112012
Locating features in dynamically configured avionics software · ICSE 2012
Software maintenance and evolution
program comprehension		 0.112012
Locating features in dynamically configured avionics software · ICSE 2012
Program analysis
static analysis		 0.112012
Locating features in dynamically configured avionics software · ICSE 2012
Program verification
model checking		 0.012012
Locating features in dynamically configured avionics software · ICSE 2012

Methods — techniques the papers use, named apart from their topics

static analysis · 0.1model checking · 0.1
YearPublicationVenuePosition
2012 Locating features in dynamically configured avionics software
abstract
Locating features in software is an important activity for program comprehension and to support software reengineering. We present a novel automated approach to locate features in source code based on static analysis and model checking. The technique is aimed at dynamically configured software, which is software in which the activation of specific features is controlled by configuration variables. The approach is evaluated on an industrial avionics system.
Maxime Ouellet, Ettore Merlo, Neset Sozen, Martin Gagnon
 ICSE3