ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
Personal Information
Organization / Workplace
Nice Area, France France
Occupation
Maître de Conférences Classe A (enseignant-chercheur)
Industry
Technology / Software / Internet
Website
About
Je suis Maître de Conférences Classe A à l'École Supérieure en Informatique de Sidi Bel Abbès en Algérie et membre du Laboratoire de Recherche en Informatique (LabRI-SBA) au sein de la même institution. Je suis titulaire d'un doctorat en informatique de l'Université d'Oran 1. Mes domaines de recherche portent sur le génie logiciel, en particulier les tests, la vérification de modèles bornés et la localisation des erreurs dans les programmes informatiques. Je suis également passionné par la programmation par contraintes, l'intelligence artificielle et le traitement automatique du langage naturel (NLP), ainsi que par les techniques de diagnostic des CSPs.
Contact Details

Presentations(3)Ìý

Model Checking-Enhanced Spectrum-Based Fault Localization
Model Checking-Enhanced Spectrum-Based Fault LocalizationModel Checking-Enhanced Spectrum-Based Fault Localization
Model Checking-Enhanced Spectrum-Based Fault Localization
Ìý
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaultsLocating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults
Ìý
Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded Model Checking and Constraint Programming to aid for error localization".Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded Model Checking and Constraint Programming to aid for error localization".
Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded Model Checking and Constraint Programming to aid for error localization".
Ìý