Omer Nguena-Timo

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