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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski