Une approche CSP pour l'aide à la localisation d'erreurs. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (CoRR, 2014)

LocFaults: a new flow-driven and constraint-based error localization approach. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (SAC, 2015)

Exploration of the scalability of LocFaults approach for error localization with While-loops programs. - Mohammed Bekkouche (CoRR, 2015)

Exploration of the scalability of LocFaults. - Mohammed Bekkouche (CoRR, 2015)

Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (CoRR, 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)

Combining techniques of bounded model checking and constraint programming to aid for error localization. - Mohammed Bekkouche (Constraints An Int. J., 2017)

Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults. - Mohammed Bekkouche (TACC, 2023)

Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution. - Mohammed Bekkouche (Comput. Sci. J. Moldova, 2023)

A bounded constraint-based approach to aid in fault localization from a counterexample. - Mohammed Bekkouche (Innov. Syst. Softw. Eng., 2025)