Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Bekkouche, Mohammed"'
Autor:
Bekkouche, Mohammed
Un vérificateur de modèle peut produire une trace de contreexemple, pour un programme erroné, qui est souvent difficile à exploiter pour localiser les erreurs dans le code source. Dans ma thèse, nous avons proposé un algorithme de localisation
Externí odkaz:
http://www.theses.fr/2015NICE4096/document
In this article, we present our improved algorithm for error localization from counterexamples, LocFaults, flow-driven and constraint-based. This algorithm analyzes the paths of CFG (Control Flow Graph) of the erroneous program to calculate the subse
Externí odkaz:
http://arxiv.org/abs/1505.06324
Autor:
Bekkouche, Mohammed
A model checker can produce a trace of counterexample, for an erroneous program, which is often long and difficult to understand. In general, the part about the loops is the largest among the instructions in this trace. This makes the location of err
Externí odkaz:
http://arxiv.org/abs/1503.05530
Autor:
Bekkouche, Mohammed
A model checker can produce a trace of counterexample, for an erroneous program, which is often long and difficult to understand. In general, the part about the loops is the largest among the instructions in this trace. This makes the location of err
Externí odkaz:
http://arxiv.org/abs/1503.05508
Autor:
Bekkouche, Mohammed1 m.bekkouche@esi-sba.dz
Publikováno v:
Computer Science Journal of Moldova. 2023, Vol. 31 Issue 2, p217-247. 31p.
We introduce in this paper a new CP-based approach to support errors location in a program for which a counter-example is available, i.e. an instantiation of the input variables that violates the post-condition. To provide helpful information for err
Externí odkaz:
http://arxiv.org/abs/1404.6567
Autor:
MANSOURI, IKRAM, BEKKOUCHE, MOHAMMED MOUMEN, AHMED, ABDELAZIZ AZEB, YAZID, FARES, DJERADI, FATIMA SIHAM
Publikováno v:
Fractional Differential Calculus; Dec2023, Vol. 13 Issue 2, p171-183, 13p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bekkouche, Mohammed
Publikováno v:
Informatique [cs]. Université Nice Sophia Antipolis, 2015. Français
A model checker can produce a trace of counter-example for erroneous program, which is often difficult to exploit to locate errors in source code. In my thesis, we proposed an error localization algorithm from counter-examples, named LocFaults, combi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::5acbccab53ce03fe331a765b3a33c88b
https://hal.archives-ouvertes.fr/tel-01242557v4/document
https://hal.archives-ouvertes.fr/tel-01242557v4/document
Publikováno v:
JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes
JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Laboratoire Bordelais de Recherche en Informatique (Labri), Jun 2015, Bordeaux, France
JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Laboratoire Bordelais de Recherche en Informatique (Labri), Jun 2015, Bordeaux, France
National audience; Dans cet exposé, nous présentons notre algorithme amélioré de localisation d'erreurs a partir de contre-exemples, LocFaults, basé sur la programmation par contraintes et dirigé par les flots. Cet algorithme analyse les chemin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0afe5fee2cb523dbca494277308392e9
https://hal.archives-ouvertes.fr/hal-01152341
https://hal.archives-ouvertes.fr/hal-01152341