Omer Nguena Timo

Publication Activity (10 Years)

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

Top Topics

Fault Detection

Learning Algorithm

Decision Tree Learning Algorithm

Finite State Machines

Top Venues

Softw. Qual. J.

Publications

Omer Nguena Timo, Tianqi Xiao, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking. AI Ethics 4 (1) (2024)
Omer Nguena Timo
Mining Precise Test Oracle Modelled by FSM. CoRR (2022)
Omer Nguena Timo
Mining Precise Test Oracle Modelled by FSM. ICTSS (2021)
Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
An Approach to Evaluating Learning Algorithms for Decision Trees. CoRR (2020)
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
Fault model-driven testing from FSM with symbolic inputs. Softw. Qual. J. 27 (2) (2019)
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
Fault Detection in Timed FSM with Timeouts by SAT-Solving. QRS (2019)
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
Using Imprecise Test Oracles Modelled by FSM. ICST Workshops (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)