Omer Nguena-Timo

Publication Activity (10 Years)

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

Top Topics

Constraint Solvers

Test Generation

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. ICTAC (2018)
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. ICTSS (2017)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Multiple Mutation Testing from FSM. FORTE (2016)
Omer Nguena-Timo, Guillaume Langelier
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study. Electron. Notes Theor. Comput. Sci. 320 (2016)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Test Generation by Constraint Solving and FSM Mutant Killing. ICTSS (2016)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Model-based testing of automotive software: some challenges and solutions. DAC (2015)
Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh
Reachability in hierarchical machines. IRI (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45 (3) (2014)
Omer Nguena-Timo, Tegawendé F. Bissyandé
Y Nut, a Phonetic-Based Learning System for Spoken Languages. AFRICOMM (2013)
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
Remote Testing of Timed Specifications. ICTSS (2013)
Omer Nguena-Timo, Antoine Rollet
Test Selection for Data-Flow Reactive Systems Based on Observations. ICST Workshops (2011)