Combining Static Analysis and Test Generation for C Program Debugging. - Omar Chebaro; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand (TAP@TOOLS, 2010)

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. - Omar Chebaro; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand (TAP@TOOLS, 2011)

Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes. (Classification of errors threats by static analysis, program sclicing and structural testing of programs). - Omar Chebaro (2011)

Program slicing enhances a verification technique combining static and dynamic analysis. - Omar Chebaro; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand (SAC, 2012)

A Lesson on Structural Testing with PathCrawler-online.com. - Nikolai Kosmatov; Nicky Williams; Bernard Botella; Muriel Roger; Omar Chebaro (TAP@TOOLS, 2012)

Flexible aspect-based service adaptation for accountability properties in the cloud. - Ronan-Alexandre Cherrueau; Omar Chebaro; Mario Südholt (VariComp@AOSD, 2013)

Adapting Workflows Using Generic Schemas: Application to the Security of Business Processes. - Ronan-Alexandre Cherrueau; Mario Südholt; Omar Chebaro (CloudCom (1), 2013)

An All-in-One Toolkit for Automated White-Box Testing. - Sébastien Bardin; Omar Chebaro; Mickaël Delahaye; Nikolai Kosmatov (TAP@STAF, 2014)

Behind the scenes in SANTE: a combination of static and dynamic analyses. - Omar Chebaro; Pascal Cuoq; Nikolai Kosmatov; Bruno Marre; Anne Pacalet; Nicky Williams; Boris Yakobowski (Autom. Softw. Eng., 2014)

Compositional Testing For FSM-Based Models. - Bilal Kanso; Omar Chebaro (CoRR, 2014)