Dimitri Prestat

According to our database, Dimitri Prestat authored at least 6 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells.

Dimitri Prestat, Naouel Moha, Roger Villemaire, Florent Avellaneda

IEEE Trans. Software Eng., April, 2024

2022

DynAMICS: A tool-based method for the specification and dynamic detection of Android behavioural code smells.

Dimitri Prestat, Naouel Moha, Roger Villemaire, Florent Avellaneda

Dataset, December, 2022

An empirical study of Android behavioural code smells detection.

Dimitri Prestat, Naouel Moha, Roger Villemaire

Empir. Softw. Eng., 2022

2019

Fault Detection in Timed FSM with Timeouts by SAT-Solving.

Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.

Omer Nguena Timo, Dimitri Prestat, Antoine Rollet

Proceedings of the Testing Software and Systems, 2019

2018

Fault Detection for Timed FSM with Timeouts by Constraint Solving.

Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda

CoRR, 2018