Mohammed Bekkouche

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 7

Top Topics

Constraint Programming

Bounded Model Checking

Top Venues

Constraints An Int. J.

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Mohammed Bekkouche
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults. TACC (2023)
Mohammed Bekkouche
Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution. Comput. Sci. J. Moldova 31 (2) (2023)
Mohammed Bekkouche
Combining techniques of bounded model checking and constraint programming to aid for error localization. Constraints An Int. J. 22 (1) (2017)
Mohammed Bekkouche
Exploration of the scalability of LocFaults. CoRR (2015)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
LocFaults: a new flow-driven and constraint-based error localization approach. SAC (2015)
Mohammed Bekkouche
Exploration of the scalability of LocFaults approach for error localization with While-loops programs. CoRR (2015)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. CoRR (2015)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
Une approche CSP pour l'aide à la localisation d'erreurs. CoRR (2014)