Omar Chebaro

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Dynamic Analysis

Workflow Processes

Business Processes

Top Venues

Autom. Softw. Eng.

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
An All-in-One Toolkit for Automated White-Box Testing. TAP@STAF (2014)
Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
Behind the scenes in SANTE: a combination of static and dynamic analyses. Autom. Softw. Eng. 21 (1) (2014)
Bilal Kanso, Omar Chebaro
Compositional Testing For FSM-Based Models. CoRR (2014)
Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt
Flexible aspect-based service adaptation for accountability properties in the cloud. VariComp@AOSD (2013)
Ronan-Alexandre Cherrueau, Mario Südholt, Omar Chebaro
Adapting Workflows Using Generic Schemas: Application to the Security of Business Processes. CloudCom (1) (2013)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
Program slicing enhances a verification technique combining static and dynamic analysis. SAC (2012)
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro
A Lesson on Structural Testing with PathCrawler-online.com. TAP@TOOLS (2012)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP@TOOLS (2011)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
Combining Static Analysis and Test Generation for C Program Debugging. TAP@TOOLS (2010)