Mohammed Bekkouche
Orcid: 0000-0002-8305-0542
According to our database1,
Mohammed Bekkouche
authored at least 9 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution.
Comput. Sci. J. Moldova, 2023
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023
2017
Combining techniques of bounded model checking and constraint programming to aid for error localization.
Constraints An Int. J., 2017
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).
PhD thesis, 2015
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs.
CoRR, 2015
Exploration of the scalability of LocFaults approach for error localization with While-loops programs.
CoRR, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
2014