Omar Chebaro

Theses

• PHD thesis, Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes. université de Franche-Comté, December 2011.
  [PDF]
   
• Mémoire ingénieur, Self-TUNe-ing of a J2EE clustered application. CNAM, June 2009.
   
• MS thesis, Administration autonome d'applications reparties. université Paul Sabatier Toulouse 3, June 2008.
   

Journals

[1]	B. Kanso, O. Chebaro, Compositional Testing for FSM-Based Models In International Journal of Software Engineering & Applications (IJSEA) May 2014.
[2]	O. Chebaro, P. Cuoq, N. Kosmatov, B. Marre, A. Pacalet, N. Williams, B. Yakobowski, Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses In Automated Software Engineering Journal 2013.

Conferences

2014

[1]	S. Bardin, Omar Chebaro, M. Delahaye, N. Kosmatov An All-in-One Toolkit for Automated White-Box Testing Proc. of the 8th International Conference on Tests & Proofs (TAP 2014), York, UK, July 2014.

2013

[2]	Ronan-Alexandre Cherrueau, Mario Südholt, Omar Chebaro Adapting workflows using generic schemas: application to the security of business processes Proc. of the 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2013), Bristol, UK, December 2013.
[3]	Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt Flexible Aspect-Based Service Adaptation for Accountability Properties in the Cloud Proc. of the 4th International Workshop on Variability & Composition (VariComp 2013), Fukuoka, Japan, March 2013.

2012

[4]	N. Kosmatov, N. Williams, B. Botella, M. Roger, O. Chebaro, A lesson on structural testing with PathCrawler-online.com Proc. of the 6th International Conference on Tests & Proofs (TAP 2012), Prague, Czech Republic, May-June 2012. [PDF] This is the authors' previous version of the work.
[5]	O. Chebaro, N. Kosmatov, A. Giorgetti, J. Julliand, Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis Proc. of the 27th Symposium on Applied Computing (SAC 2012), Trento, Italy, March 2012. [PDF] This is the authors' previous version of the work.
[6]	O. Chebaro, M. Delahaye, N. Kosmatov, Testing Inexecutable Conditions on Input Pointers in C Programs Proc. of the 24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012), Paris, France, October 2012.
[7]	O. Chebaro, N. Kosmatov, A. Giorgetti, J. Julliand, Le slicing améliore une méthode de vérification combinant l'analyse statique et l'analyse dynamique In Actes des quatrièmes journées nationales du groupement de recherche CNRS du Génie de la programmation et du logiciel (GDR GPL 2012), Rennes, France, June 2012. Extended Abstract. [PDF] This is the authors' previous version of the work.

2011

[8]	O. Chebaro, N. Kosmatov, A. Giorgetti, J. Julliand, The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C program debugging Proc. of the 5th International Conference on Tests & Proofs (TAP 2011), Zurich, Switzerland, June 2011. [PDF] This is the authors' previous version of the work.

2010

[9]	O. Chebaro, N. Kosmatov, A. Giorgetti, J. Julliand, Combining static analysis and test generation for C program debugging Proc. of the 4th International Conference on Tests & Proofs (TAP 2010), Malaga, Spain, July 2010. [PDF] This is the authors' previous version of the work.
[10]	O. Chebaro, Outil SANTE: Détection d'erreurs par analyse statique et test structurel des programmes C Actes des 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Poitier, France, Juin 2010. [PDF] This is the authors' previous version of the work.
[11]	O. Chebaro, N. Kosmatov, A. Giorgetti, J. Julliand, Combining Frama-C and PathCrawler for C Program Debugging In Actes des deuxièmes journées nationales du groupement de recherche CNRS du Génie de la programmation et du logiciel (GDR GPL 2010), Pau, France, March 2010. Extended Abstract. [PDF] This is the authors' previous version of the work.

2009

[12]	O. Chebaro, L. Broto, J. P. Bahsoun, D. Hagimont, Self-TUNe-ing of a J2EE Clustered Application Proc. of the 6th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2009), San Francisco, USA, April 2009. [PDF] This is the authors' previous version of the work.