Mohammed Bekkouche | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Michel Rueher
3 publications
Hélène Collavizza
1 publication

research

∙ 03/18/2015

Exploration of the scalability of LocFaults

A model checker can produce a trace of counterexample, for an erroneous ...

0 Mohammed Bekkouche, et al. ∙

research

∙ 03/18/2015

Exploration of the scalability of LocFaults approach for error localization with While-loops programs

A model checker can produce a trace of counterexample, for an erroneous ...

0 Mohammed Bekkouche, et al. ∙

research

∙ 04/25/2014

Une approche CSP pour l'aide à la localisation d'erreurs

We introduce in this paper a new CP-based approach to support errors loc...

0 Mohammed Bekkouche, et al. ∙