• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 113
  • 8
  • 7
  • 2
  • Tagged with
  • 135
  • 66
  • 54
  • 41
  • 40
  • 29
  • 28
  • 26
  • 21
  • 20
  • 19
  • 19
  • 16
  • 15
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

L'inexécution du contrat d'assurance dans les États africains membres de la CIMA : étude à partir du cas camerounais / The non-execution of the insurance contract in the African states members of the CIMA : a Cameroonian case study

Dié Kouénéyé, Hubert 15 November 2018 (has links)
Le contrat d’assurance est un contrat synallagmatique. L’éthique en la matière impose l’exécution loyale de la convention par la fourniture des prestations réciproques incombant aux parties. Il s’agit, pour le souscripteur, de verser une prime en échange de la garantie, et pour l’assureur de garantir les conséquences de l’événement aléatoire prévu au contrat. Le prix de l'assurance est de ce fait la contrepartie de la garantie du risque pris en charge par l'assureur. Vu sous cet angle, l’assureur est le partenaire privilégié de l’assuré dans sa protection contre les risques de la vie quotidienne. Mais il peut arriver que, sans justification, l’une des parties ne fournisse pas la prestation pour laquelle elle s’est engagée. Dans ce cas, elle se rend coupable de manquement contractuel, autrement qualifié d’inexécution du contrat.Le droit camerounais des assurances issu de la réforme du 10 juillet 1992 qui met sur pied la Conférence Interafricaine des Marchés d’Assurances ne dispose pas d’un régime unifié de l’inexécution du contrat d’assurance. Toutes les violations de l’engagement ne sont pas toujours sanctionnées. Les solutions existantes sont, soit limitées, soit exposées sans véritable hiérarchie entre remèdes de premier rang et solutions subsidiaires. De plus, la répartition des pouvoirs tend à accentuer l’inégalité entre la compagnie d’assurance et l’assuré. De ce point de vue, la réforme, qui a pourtant relativement modernisé les règles jusque là applicables, n’a pas totalement mis fin aux problèmes que soulève l’exécution des contrats d’assurance dans les États parties. La jurisprudence elle-même ne fournit pas toujours des solutions adéquates pour compléter l’œuvre du législateur. Cette situation qui est une véritable source de difficultés tant pour les cocontractants que pour les juges pouvant être appelés à trancher les différends, rend incertain le régime de traitement de l’inexécution.La question mérite alors d’être profondément repensée afin de trouver les meilleures solutions pouvant permettre de garantir les intérêts des parties en présence et, par voie de conséquence, favoriser le développement de l’industrie nationale, voire sous-régionale, des assurances. / The insurance contract is a bilateral contract. Ethics in this matter requires the fair execution of the agreement through the provision of reciprocal services incumbent upon the parties. For the subscriber, this means paying premiums in exchange for the guarantee and for the insurer to guarantee the consequences of the random event provided for in the contract. The price of the insurance is therefore the counterpart of the guarantee for the risk assumed by the insurer. Seen from this angle, the insurer is the insured's privileged partner in its protection against the risks of daily life. But it can happen that, without justification, one of the parties does not provide the service for which it has committed itself. In this case, it is guilty of contractual breach, also known as breach of contract.The Cameroonian insurance law resulting from the reform of July 10, 1992 which sets up the Inter-African Conference of Insurance Markets does not have a unified regime of non-performance of the insurance contract. Not all breaches of the commitment are always punished. Existing solutions are either limited or presented without any real hierarchy between first-tier remedies and subsidiary solutions. Moreover, the distribution of powers tends to accentuate the inequality between the insurance company and the insured. From this point of view, the reform, which has, however, relatively modernized the rules hitherto applicable, has not completely put an end to the problems raised by the implementation of insurance contracts in the States Parties. The case-law itself does not always provide adequate solutions to complete the work of the legislator. This situation, which is a source of difficulties both for contracting parties and for judges who may be called upon to settle disputes, makes the regime for dealing with non-performance uncertain.The issue then deserves to be thoroughly rethought in order to find the best solutions that can guarantee the interests of the parties involved and, consequently, promote the development of the national, even sub regional insurance industry.
52

Évaluation par simulation de la sécurité des circuits face aux attaques par faute

Faurax, Olivier 03 July 2008 (has links) (PDF)
Les circuits microélectroniques sécuritaires sont de plus en plus présents dans notre quotidien (carte à puce, carte SIM) et ils renferment des informations sensibles qu'il faut protéger (numéro de compte, clé de chiffrement, données personnelles).<br /> Récemment, des attaques sur les algorithmes de cryptographie basées sur l'utilisation de fautes ont fait leur apparition. L'ajout d'une faute lors d'un calcul du circuit permet d'obtenir un résultat faux. À partir d'un certain nombre de résultats corrects et de résultats faux correspondants, il est possible d'obtenir des informations secrètes et dans certains cas des clés cryptographiques complètes.<br /> Cependant, les perturbations physiques utilisées en pratique (impulsion laser, radiations, changement rapide de la tension d'alimentation) correspondent rarement aux types de fautes nécessaires pour réaliser ces attaques théoriques.<br /> Dans ce travail, nous proposons une méthodologie pour tester les circuits face aux attaques par faute en utilisant de la simulation. L'utilisation de la simulation permet de tester le circuit avant la réalisation physique mais nécessite beaucoup de<br />temps. C'est pour cela que notre méthodologie aide l'utilisateur à choisir les fautes les plus importantes pour réduire significativement le temps de simulation.<br /> L'outil et la méthodologie associée ont été testés sur un circuit cryptographique (AES) en utilisant un modèle de faute utilisant des délais. Nous avons notamment montré que l'utilisation de délais pour réaliser des fautes permet de générer des fautes correspondantes à des attaques connues.
53

Les rétroactions correctives à l'oral : que croient faire les enseignants et qu'en pensent les apprenants?

Fiset-Asselin, Caroline January 2006 (has links) (PDF)
Depuis quelques années, de plus en plus de chercheurs s'intéressent à la négociation de la forme en acquisition d'une langue seconde. La négociation de la forme, qui est caractérisée par quatre types de rétroaction corrective, encourage l'auto-correction en attirant l'attention des apprenants sur leurs énoncés fautifs (Lyster, 1999 p.355). Mais les enseignants disent-ils formuler des rétroactions correctives? Et les apprenants disent-ils remarquer les rétroactions qui leur sont faites ? Le cas échéant, les apprenants apprécient-ils les rétroactions correctives? La présente recherche exploratoire porte sur l'attention que les apprenants prétendent accorder aux différents types de rétroaction lorsque l'enseignant dit tenter de mettre en évidence les formes linguistiques déficientes à l'oral. L'appréciation du recours aux rétroactions correctives dans la classe de langue seconde ou étrangère est également une question importante abordée dans cette étude. Afin de mener à terme cette recherche, donc de vérifier les perceptions des enseignants et des apprenants relativement aux rétroactions correctives et l'appréciation subjective de celles-ci, nous sommes allée dans trois classes d'espagnol langue étrangère d'une université francophone à Montréal pour y faire de l'observation au moyen de la grille COLT (Allen, Frohlich & Spada, 1984; Fröhlich, Spada & Allen, 1987; Spada & Fröhlich, 1995) et pour passer un questiormaire aux apprenants et aux enseignants. Le questionnaire passé aux apprenants a servi à recueillir les données biographiques des participants et a permis de vérifier la perception de l'attention que les participants accordent aux interventions de leur enseignant. Ce questionnaire nous a aussi permis de savoir si les rétroactions correctives sont appréciées des apprenants. Bien entendu, un questionnaire différent a été préparé pour les enseignants afin de savoir si ces derniers ont recours à un ou plusieurs types de rétroaction corrective pour mettre en évidence les formes linguistiques erronées à l'oral. Pour s'assurer que les conclusions de cette étude soient généralisables à des apprenants de différents niveaux de compétence en langue seconde ou étrangère, nous avons fait passer le même questionnaire à des apprenants de niveau débutant, intermédiaire et avancé. À la lumière des résultats obtenus, nous pouvons conclure que la reformulation semble être le type de rétroaction le plus utilisé à l'intérieur des classes ayant participé à l'étude et qu'elle peut être ambiguë pour les apprenants puisque ces derniers ne semblent pas toujours faire la différence entre la reformulation et la répétition non corrective. Nous sommes également arrivée à la conclusion que les apprenants participant à notre étude apprécient les rétroactions correctives et ce, peu importe leur niveau. Cela nous amène donc à penser que les rétroactions peuvent être faites à tous les niveaux en classe de langue. Les résultats de notre étude nous amènent également à croire que les apprenants des trois niveaux précédemment mentionnés préfèrent l'incitation. Le fait que les apprenants disent préférer l'incitation et ce, même au niveau débutant, nous oblige à remettre en question le fait que pour participer à la négociation de la forme, les apprenants doivent déjà avoir atteint un minimum de compétence en langue seconde (Lyster, 1999, p. 376). ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Interactionnisme, Négociation de la forme, Rétroaction corrective à l'oral, Attention, Saisie, Appréciation.
54

Etude de la vulnérabilité des circuits cryptographiques l'injection de fautes par laser.

Mirbaha, Amir-Pasha 20 December 2011 (has links) (PDF)
Les circuits cryptographiques peuvent etre victimes d'attaques en fautes visant leur implementation materielle. elles consistent a creer des fautes intentionnelles lors des calculs cryptographiques afin d'en deduire des informations confidentielles. dans le contexte de la caracterisation securitaire des circuits, nous avons ete amenes a nous interroger sur la faisabilite experimentale de certains modeles theoriques d'attaques. nous avons utilise un banc laser comme moyen d'injection de fautes.dans un premier temps, nous avons effectue des attaques en fautes dfa par laser sur un microcontroleur implementant un algorithme de cryptographie aes. nous avons reussi a exclure l'effet logique des fautes ne correspondants pas aux modeles d'attaque par un jeu precis sur l'instant et le lieu d'injection. en outre, nous avons identifie de nouvelles attaques dfa plus elargies.ensuite, nous avons etendu nos recherches a la decouverte et la mise en place de nouveaux modeles d'attaques en fautes. grace a la precision obtenue lors de nos premiers travaux, nous avons developpe ces nouvelles attaques de modification de rondes.en conclusion, les travaux precedents constituent un avertissement sur la faisabilite averee des attaques par laser decrites dans la litterature scientifique. nos essais ont temoigne de la faisabilite toujours actuelle de la mise en place des attaques mono-octets ou mono-bits avec un faisceau de laser qui rencontre plusieurs octets ; et egalement reveler de nouvelles possibilites d'attaque. cela nous a amenes a etudier des contre-mesures adaptees.
55

Les causes de déchéance du droit à limitation de responsabilité du transporteur maritime international de marchandises sous connaissement

Gomes, Saulo M. 05 1900 (has links)
La présente étude examine les causes de déchéance du droit à limitation de responsabilité du transporteur maritime de marchandises. En règle générale, les plafonds d’indemnisation fixés par les conventions internationales écartent la réparation intégrale du préjudice causé par le transporteur maritime de marchandises. Cependant, il est également prévu un certain nombre de causes de déchéance de ce droit à limitation, pour lesquelles les conditions d’application diffèrent d’une convention internationale à l’autre (Règles de La Haye, Règles de La Haye-Visby, Règles de Hambourg et Règles de Rotterdam). Parallèlement, les tribunaux nationaux, par le recours à des notions propres de leurs systèmes juridiques, modifient l’étendue des causes de déchéance de ce droit. En somme, la déchéance du droit à limitation de responsabilité variera selon la convention internationale appliquée et selon la juridiction compétente. Ce qui, en définitive, porte atteinte à la structuration rationnelle du régime de responsabilité du transporteur maritime dans sa globalité et à l’objectif d’uniformisation poursuivi jusqu’ici. / This study examines the institutions capable to deprive the sea carriers from the benefit of limitation of liability. In general, the package limitation provisions settled by international maritime conventions reject the full compensation of damages caused by the shipowning companies. However, this rule can be mitigated. Some specific conducts can bar the carrier from the benefit of limitation of liability. The conventions on international transport of goods (the Hague Rules, the Hague-Visby Rules, the Hamburg Rules and the Rotterdam Rules) have set out differently the conditions required to deprive the carrier of the right to limit responsibility. Concurrently, national courts, through the use of specific concepts, have modified the scope of the right of such limitation. In sum, the conducts barring limitation of liability will vary according to the International Convention applied and according to the relevant competent court. This, ultimately, undermines the rational organization of the maritime liability system and adversely affects the objective of uniformity in this matter.
56

L'adoption d'un régime d'indemnisation sans égard à la faute en faveur des victimes d'infections nosocomiales, et pourquoi pas?

Ramos-Paque, Emma 08 1900 (has links)
Phénomène à haute prévalence dans le monde entier, les infections acquises au cours de la prestation de soins de santé constituent une menace importante pour la santé publique. Il s’agit d’une réalité inéluctable du système de santé qui touche de nombreuses victimes en les affectant de dommages variés. Fruit d’une interaction complexe entre divers facteurs, ces infections représentent un lourd fardeau pour les victimes comme pour la société, tant au plan physique, mental et financier. Bien que les infections nosocomiales semblent être au cœur des préoccupations des autorités sanitaires québécoises, l’indemnisation des victimes demeure problématique. Actuellement, l’indemnisation se fait via le régime traditionnel de responsabilité civile mais nombreux sont les obstacles auxquels font face les patients désirant obtenir compensation. Les règles classiques s’avèrent difficiles d’application dans un contexte où la source de l’infection est souvent inconnue et les facteurs ayant pu contribuer à son développement sont multiples. Face à cette problématique et à l’insatisfaction ressentie, certaines juridictions étrangères ont reconnu le caractère inadapté du régime traditionnel et ont implanté un régime d’indemnisation sans égard à la faute dans l’espoir d’améliorer le sort des victimes. Le Québec a opté pour la même solution dans divers domaines, tels que les accidents automobiles et la vaccination. Ce mémoire propose une étude approfondie de l’opportunité d’adopter, en droit québécois, un régime d’indemnisation sans égard à la faute bénéficiant aux victimes d’infections nosocomiales. L’objectif de ce projet est de faire une esquisse des caractéristiques assurant l’efficacité et la viabilité d’un tel régime. / Highly prevailing phenomenon worldwide, healthcare associated infections pose a significant threat to public health. They are considered to be an inevitable reality of the healthcare system that affects a large number of persons with diverse injuries. They result from a complex interplay of factors and represent a major burden for both victims and society, physically, mentally and financially. Although healthcare associated infections seem to be an important concern for health authorities in Quebec, compensation of victims remains problematic. At the moment, victims have to go through the traditional system of civil liability and face numerous obstacles. Classic rules are proved to be difficult to apply in a context where the source of the infection is often unknown and the factors that contributed to its development multiple. Confronted to this problem and to the dissatisfaction felt, some foreign jurisdictions have recognized the unsuitability of traditional rules and have introduced a no-fault compensation system in the hope of improving victims’ fate. Quebec chose to opt for the same solution in various fields, such as automobile accidents and immunization. This thesis proposes a comprehensive study of the need to adopt a no-fault compensation scheme benefiting victims of healthcare associated infections. The objective of this project is to outline the characteristics that would ensure the efficiency and viability of the no-fault scheme.
57

L'avocat diffamateur : ses devoirs de conduite et la mise en oeuvre de sa responsabilité civile

Lacroix, Mariève 09 1900 (has links)
Le présent mémoire de maîtrise renvoie à une analyse des situations de diffamation commise par l'avocat, dans le cadre d'une instance judiciaire, à l'égard de la partie adverse, de son représentant et du témoin. L'étude s'inscrit dans un double dessein de prévention et de sensibilisation auprès de la communauté juridique. L'interrogation inhérente à l'étude consiste à savoir si l'avocat est considéré à l'instar de tout particulier dans les poursuites pour diffamation civile. Doit-il conséquemment observer strictement ses devoirs de conduite professionnelle afin d'éviter toute situation potentiellement diffamatoire? Tout d'abord, nous cernerons le concept de diffamation civile en droit québécois en regard des sources législatives, des droits de la personnalité ou fondamentaux traités, ainsi que des éléments matériels juridiques constitutifs. À la lueur de cet exposé didactique, nous identifierons les devoirs de conduite professionnelle de l'avocat, dans le cadre d'une instance judiciaire, visant la proscription d'allégations diffamatoires. Il s'agit plus particulièrement des devoirs de modération et de courtoisie de l'avocat à l'égard des tiers. Enfin, nous examinerons la mise en oeuvre de la responsabilité civile de l'avocat en matière de diffamation. Plus spécifiquement, nous analyserons sa faute civile suivant les critères d'appréciation qui renvoient à la pertinence, à la véracité et à la bonne foi. Par ailleurs, nous critiquerons le recours, par la doctrine et la jurisprudence québécoises, à l'immunité relative de l'avocat. Nous référerons à la terminologie inadéquate d'«immunité relative» et à l'importation injustifiée de la common law en droit de la responsabilité civile québécois. / The present Master's Thesis studies the defamatory actions committed by the attorney towards the opposing party, the latter's representative and the witness. The study seeks to find ways of preventing defamation and heightening awareness for attorneys. The following questions will be examined : should an attorney be considered as a common individual in defamation cases? Should he, therefore, strictly follow his professional duties of conduct to prevent potential defamation situations? First, we will analyse the nature of defamation in Quebec civil law by looking at the laws governing it, the fundamental and personality rights attached to it and the juridical elements constituting it. In light of this, we will then identify the attorney's professional conduct duties with respect to his written and oral allegations. More particularly, the need to act with moderation and courtesy towards the third party will be discussed. Finally, the application of the attorney's civil responsibility will be examined, more specifically his civil fault in light of the following criteria: relevance, truthfulness and good faith. Moreover, the concepts related to the attorney's qualified privilege will also be assessed and criticized. / "Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maître en droit (LL.M.)". Ce mémoire a été accepté et classé parmi les 5% des mémoires de la discipline. Commentaires du jury : "Mémoire de très haute tenue. Recherche exhaustive. Traitement original du sujet, langue impeccable. Pourrait faire l'objet d'une monographie."
58

Les logiciels libres sous l'angle de la responsabilité civile

Lemyre, Pierre-Paul 12 1900 (has links)
Distribués sous des licences permissives qui assurent des droits d'utilisation, de modification et de redistribution aux licenciés, l'élaboration des logiciels libres est fondée sur un modèle de développement décentralisé. Ces caractéristiques posent de nombreux défis au milieu juridique, particulièrement en ce qui a trait à la responsabilité civile. Ainsi, les développeurs se demandent dans quelles circonstances leur responsabilité civile peut être engagée suite à la défaillance de leur logiciel libre. De la même façon, ils questionnent la possibilité d'appliquer cette responsabilité à un nombre important de développeurs dispersés aux quatre coins du globe. L'analyse présentée montre que le droit, tel qu'il existe actuellement, est en mesure de résoudre la majorité des problèmes relatifs à la détermination et l'application de la responsabilité civile en matière de logiciels libres. Les règles de la responsabilité civile représentent donc un risque potentiel pour les développeurs de logiciels libres, même s'ils sont relativement bien protégés par les contextes juridiques et factuels. / Distributed under permissive licenses that guarantee the users use, modification and redistribution rights, the development of free software is decentralized. Numerous legal challenges flow from this, particularly respecting civil liability matthers. In consequence, developers are concerned regarding the circumstances in which they could be liable based on the faillure of their free software. They are equally questionning the possibility that numerous developers scattered around the world could be jointly liable. The analysis show that the law, in its actual form, is able to answer the majority of the issues resulting from the establishment and the application of civil liability regarding free software. In this way, civil liability rules are representing a potential risk to free software developers, even if they are relatively weil protected by the legal and factual contexts. / "Mémoire présenté à la faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit des technologies de l'information [LL.M]". Ce mémoire a été accepté à l'unanimité et classé parmi les 10% des mémoires de la discipline. Commentaires du jury : "Avec les félicitations du jury."
59

Analyses sécuritaires de code de carte à puce sous attaques physiques simulées / Security analysis of smart card C code using simulated physical attacks

Kauffmann-Tourkestansky, Xavier 28 November 2012 (has links)
Cette thèse s’intéresse aux effets des attaques par fautes physiques sur le code d’un système embarqué en particulier la carte à puce. De telles attaques peuvent compromettre la sécurité du système en donnant accès à des informations confidentielles, en compromettant l’intégrité de données sensibles ou en perturbant le fonctionnement pendant l’exécution. Dans cette thèse, nous décrivons des propriétés de sécurité permettant d’exprimer les garanties du système et établissons un modèle d’attaque de haut niveau définissant les capacités d’un attaquant à modifier le système. Ces propriétés et ce modèle nous servent à vérifier la sécurité du code par analyse statique ou test dynamique, combinés avec l’injection d’attaques, simulant les conséquences logicielles des fautes physiques. Deux méthodologies sont ainsi développées afin de vérifier le comportement fonctionnel du code sous attaques, tester le fonctionnement des sécurités implémentées et identifier de nouvelles attaques. Ces méthodologies ont été mises en oeuvre dans un cadre industriel afin de faciliter le travail du développeur chargé de sécuriser un code de carte à puce. / This thesis focuses on the effects of attacks by physical faults on embedded source code specifically for smart cards. Such attacks can compromise the security of the system by providing access to confidential information, compromising the integrity of sensitive data or disrupting the execution flow. In this thesis, we describe security properties to express security guarantees on the system. We also offer an attack model defining at high level an attacker’s ability to disrupt the system. With these properties and model, we check the source code security against physical attacks. We use static analysis and dynamic testing, combined with attack injection to simulate the consequences of physical faults at software level. Two techniques are created to stress the functional behavior of the code under attack, test the reliability of built-in security countermeasures and identify new threats. These techniques were implemented in a framework to help developers secure their source code in an industrial environment.
60

Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits / Assit to execution trace analysis in the microcontrollers 32 bits context

Amiar, Azzeddine 27 November 2013 (has links)
Souvent, dû à l'aspect cyclique des programmes embarqués, les traces de microcontrôleurs contiennent beaucoup de données. De plus, dans notre contexte de travail, pour l'analyse du comportement, une seule trace se terminant sur une défaillance est disponible. L'objectif du travail présenté dans cette thèse est d'aider à l'analyse de trace de microcontrôleurs. La première contribution de cette thèse concerne l'identification de cycles, ainsi que la génération d'une description pertinente de la trace. La détection de cycles repose sur l'identification du loop-header. La description proposée à l'ingénieur est produite en utilisant la compression basée sur la génération d'une grammaire. Cette dernière permet la détection de répétitions dans la trace. La seconde contribution concerne la localisation de faute(s). Elle est basée sur l'analogie entre les exécutions du programme et les cycles. Ainsi, pour aider dans l'analyse de la trace, nous avons adapté des techniques de localisation de faute(s) basée sur l'utilisation de spectres. Nous avons aussi défini un processus de filtrage permettant de réduire le nombre de cycles à utiliser pour la localisation de faute(s). Notre troisième contribution concerne l'aide à l'analyse des cas où les multiples cycles d'une même exécution interagissent entre eux. Ainsi, pour faire de la localisation de faute(s) pour ce type de cas, nous nous intéressons à la recherche de règles d'association. Le groupement des cycles en deux ensembles (cycles suspects et cycles corrects) pour la recherche de règles d'association, permet de définir les comportements jugés correctes et ceux jugés comme suspects. Ainsi, pour la localisation de faute(s), nous proposons à l'ingénieur un diagnostic basé sur l'analyse des règles d'association selon leurs degrés de suspicion. Cette thèse présente également les évaluations menées, permettant de mesurer l'efficacité de chacune des contributions discutées, et notre outil CoMET. Les résultats de ces évaluations montrent l'efficacité de notre travail d'aide à l'analyse de traces de microcontrôleurs. / The microcontroller traces contain a huge amount of information. This is mainly due to the cyclic aspect of embedded programs. In addition, in our context, a single trace that ends at the failure is used to analyze the behavior of the microcontroller . The work presented in this thesis aims to assit in analysis of microcontroller traces. The first contribution of this thesis concerns the identification of cycles and the generation of a relevant description of the trace. The detection of cycles is based on the identification of the loop-header. The description of the trace is generated using Grammar-Based Compression, which allows the detection of repetitions in the trace. The second contribution concerns the fault localization. Our approach is based on the analogy between executions and cycles. Thus, this contribution is an adaptation of some spectrum-based fault localization techniques. This second contribution also defines a filtering process, which aims to reduce the number of cycles used by the fault localization. The third contribution considers that the multiple cycles of a same execution can interact together. Our fault localization for this type of cases is based on the use of association rules. Grouping cycles in two sets (suspect cycles and correct cycles), and searching for association rules using those two sets, helps to define the behaviors considered as corrects and those considered as suspects. This thesis presents the experimental evaluations concerning our contributions, and our tool CoMET.

Page generated in 0.0709 seconds