Dimitri Prestat

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Fault Detection

Constraint Solving

Top Venues

Empir. Softw. Eng.

IEEE Trans. Software Eng.

Publications

Dimitri Prestat, Naouel Moha, Roger Villemaire, Florent Avellaneda
DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells. IEEE Trans. Software Eng. 50 (4) (2024)
Dimitri Prestat, Naouel Moha, Roger Villemaire
An empirical study of Android behavioural code smells detection. Empir. Softw. Eng. 27 (7) (2022)
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
Fault Detection in Timed FSM with Timeouts by SAT-Solving. QRS (2019)
Omer Nguena Timo, Dimitri Prestat, Antoine Rollet
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. ICTSS (2019)
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
Fault Detection for Timed FSM with Timeouts by Constraint Solving. CoRR (2018)