Omer Nguena-Timo

According to our database, Omer Nguena-Timo authored at least 21 papers between 2009 and 2021.

Collaborative distances:

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

2021

Mining Precise Test Oracle Modelled by FSM.

Omer Nguena Timo

Proceedings of the Testing Software and Systems, 2021

2020

An Approach to Evaluating Learning Algorithms for Decision Trees.

Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda, Yasir Malik, Stefan D. Bruda

CoRR, 2020

2019

Fault model-driven testing from FSM with symbolic inputs.

Omer Nguena Timo, Alexandre Petrenko, S. Ramesh

Softw. Qual. J., 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

Using Imprecise Test Oracles Modelled by FSM.

Omer Nguena Timo, Alexandre Petrenko, S. Ramesh

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Fault Detection for Timed FSM with Timeouts by Constraint Solving.

Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda

CoRR, 2018

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.

Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs.

Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh

Proceedings of the Testing Software and Systems, 2017

2016

Test Generation by Constraint Solving and FSM Mutant Killing.

Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh

Proceedings of the Testing Software and Systems, 2016

Multiple Mutation Testing from FSM.

Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study.

Omer Nguena-Timo, Guillaume Langelier

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Model-based testing of automotive software: some challenges and solutions.

Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Runtime enforcement of timed properties revisited.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo

Formal Methods Syst. Des., 2014

Reachability in hierarchical machines.

Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

On characteristic formulae for Event-Recording Automata.

Omer Landry Nguena-Timo, Pierre-Alain Reynier

RAIRO Theor. Informatics Appl., 2013

Remote Testing of Timed Specifications.

Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet

Proceedings of the Testing Software and Systems, 2013

Y Nut, a Phonetic-Based Learning System for Spoken Languages.

Omer Nguena-Timo, Tegawendé F. Bissyandé

Proceedings of the e-Infrastructure and e-Services for Developing Countries, 2013

2012

Runtime Enforcement of Timed Properties.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Test Selection for Data-Flow Reactive Systems Based on Observations.

Omer Nguena-Timo, Antoine Rollet

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009

Synthesis for a Weak Real-Time Logic. (Synthèse pour une Logique Temps-Réel Faible).

Omer Landry Nguena-Timo

PhD thesis, 2009