Omar Chebaro

According to our database, Omar Chebaro authored at least 10 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Compositional Testing For FSM-Based Models.

Bilal Kanso, Omar Chebaro

CoRR, 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

An All-in-One Toolkit for Automated White-Box Testing.

Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov

Proceedings of the Tests and Proofs - 8th International Conference, 2014

2013

Adapting Workflows Using Generic Schemas: Application to the Security of Business Processes.

Ronan-Alexandre Cherrueau, Mario Südholt, Omar Chebaro

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Flexible aspect-based service adaptation for accountability properties in the cloud.

Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt

Proceedings of the 4th international workshop on Variability & composition, 2013

2012

A Lesson on Structural Testing with PathCrawler-online.com.

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Program slicing enhances a verification technique combining static and dynamic analysis.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the ACM Symposium on Applied Computing, 2012

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

PhD thesis, 2011

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 5th International Conference, 2011

2010

Combining Static Analysis and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 4th International Conference, 2010