Mohammed Bekkouche

12 papers B 1Misc 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A bounded constraint-based approach to aid in fault localization from a counterexample.
Innov. Syst. Softw. Eng.
Mohammed Bekkouche
2025 B conf
Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach.
ICALT
Mohamed Amine Lasheb, Olivier Pons, Mohammed Bekkouche, Élise Lincker, Isabelle Barbet, Caroline Huron
2025 J jnl
Improving Anomaly Detection in the HDFS Dataset with Novel Machine Learning Models and Techniques.
Comput. Sci. J. Moldova
Mohammed Bekkouche, Sidi Mohammed Benslimane
2023 J jnl
Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution.
Comput. Sci. J. Moldova
Mohammed Bekkouche
2023 — conf
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults.
TACC
Mohammed Bekkouche
2017 J jnl
Combining techniques of bounded model checking and constraint programming to aid for error localization.
Constraints An Int. J.
Mohammed Bekkouche
2015 — —
Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs. (Combining techniques of Bounded Model Checking and constraint programming to aid for error localization : exploration of CSP capacities for error localization).
Mohammed Bekkouche
2015 J jnl
Exploration of the scalability of LocFaults approach for error localization with While-loops programs.
CoRR
Mohammed Bekkouche
2015 J jnl
Exploration of the scalability of LocFaults.
CoRR
Mohammed Bekkouche
2015 Misc conf
LocFaults: a new flow-driven and constraint-based error localization approach.
SAC
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
2015 J jnl
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs.
CoRR
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
2014 J jnl
Une approche CSP pour l'aide à la localisation d'erreurs.
CoRR
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher