Fault Detection for Timed FSM with Timeouts by Constraint Solving. - Omer Nguena Timo; Dimitri Prestat; Florent Avellaneda (CoRR, 2018)

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. - Omer Nguena Timo; Dimitri Prestat; Antoine Rollet (ICTSS, 2019)

Fault Detection in Timed FSM with Timeouts by SAT-Solving. - Omer Nguena Timo; Dimitri Prestat; Florent Avellaneda (QRS, 2019)

An empirical study of Android behavioural code smells detection. - Dimitri Prestat; Naouel Moha; Roger Villemaire (Empir. Softw. Eng., 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 (IEEE DataPort, 2022)

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., 2024)