Back to INDEX   Publications of Omar Chebaro   Conference articles Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis. In SAC 2012, 27-th ACM Symposium On Applied Computing, Trento, Italy, pages 1284--1291, March 2012. [bibtex] Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 78--83, June 2011. Springer. Note: Short paper, TOOL session. [bibtex] Omar Chebaro. Outil SANTE : Détection d'erreurs par analyse statique et test structurel des programmes C. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 75--79, June 2010. Note: Papier court. [bibtex] Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Frama-C and PathCrawler for C Program Debugging. In GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel, Pau, France, pages 217--218, March 2010. Note: Résumé étendu. [bibtex] Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Static Analysis and Test Generation for C Program Debugging. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 94--100, July 2010. [bibtex] Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod

This document was translated from BibTEX by bibtex2html