• Aucun résultat trouvé

Automated runtime software repair

N/A
N/A
Protected

Academic year: 2021

Partager "Automated runtime software repair"

Copied!
2
0
0

Texte intégral

(1)

HAL Id: hal-00820076

https://hal.inria.fr/hal-00820076

Submitted on 3 May 2013

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Automated runtime software repair

Benoit Cornu, Martin Monperrus

To cite this version:

Benoit Cornu, Martin Monperrus. Automated runtime software repair. GDR GPL 2013, Apr 2013, Nancy, France. �hal-00820076�

(2)

1234563789A2B3C579 D4E3F679A76C

12345678493AB7CD96537C43E299AF

4B373

7F29D654371234155678197A2B48C1BD4EF49A4F2589E48597A2B

74D48198D49DAB48597A2B47241241F9A19E4122C479D4B329DB7E4 8198D46A8B49A45C2948C1BD7249D4155678197A2

7235A2F742769D3F49D6543B72E595D7D3DF5FB7427F362F5FB7 D6D5353 7

7C97C7F

123456789A4BC7D7B8EBA78A34BCB8EBA5FABEB3758C

A2B3C57973C4B91B6C9

B4CB94

!A36527"#2E65437

$3DF5F7%9D2&49'

8D67(3)26543

!2F552327C42

A723

A2B94 667 4554B 6B9739D2C379CCB9379 639376357B3!9"#$%&9373'

*7D5A92F7 7D7DFF296792FA6

+,-729949F7 7A32#E2627"#2E6543

+79DF 77773432353 792A592792D

(25)794E92789639)49*934FB99773C4B9349)443 .A/27 ,*7D6707*+172#2E6543F

2D9277 -7D6707-372#2E6543F 1A2)77 37D6707+72#2E6543F

!2F5523678D67 D#434

8D674226543

1C63C79+46

D3D/276272#2E654372D5497FE255D6543

5F4D627627D674'F732227647E29497D37D6543

5F4D627627D674'F7&57D92734675497D33467267AF2

7BC69+46

26265437472#2E65437F4A92F7D37625974362#6

DE6A92747D674'72#2A65437D376259753629ED

D3D/2762792D6543F5E726&2237DAF2F7D37692D6236F

1231

234567839AB643CDEF3F43FE 66B86386

234567839AB643CDEF36CE 45146DCF56 6F8C361

234567839AB643CDE4F!F43FE"36 66B86386

234567839AB643CDE4F!6CE

D45AA2467C1C347B4FBE49A472B9CF294BAFC848AE

BACB46B4AB8E58B4BA8A78B48DAB4454A

73C4B9CB,73C4B94E964C6379379639776B3967 F2267627ED27D4953 76472#2A6543769D2F7

497D7 5237ED2744F276276E27D4953 7647627F6D657D373D574362#67 5355/27D96555D56777D#55/272D9353

6263C4B

84&7D379D3AD:75#272#2E65437A F7947A 792E4F564952F7D3727DA64D65D792ED592776279D2&49';

84&7A7D376279D2&49'7D4579DF53 7947DA6753)26543;

8D674362F5F

<2 D7C42

"#2E65437

<4D5/D65437 97(3)26543

=7&262972'27497A32'279A365272#2E6543F

Références

Documents relatifs

To test whether the vesicular pool of Atat1 promotes the acetyl- ation of -tubulin in MTs, we isolated subcellular fractions from newborn mouse cortices and then assessed

Néanmoins, la dualité des acides (Lewis et Bronsted) est un système dispendieux, dont le recyclage est une opération complexe et par conséquent difficilement applicable à

Cette mutation familiale du gène MME est une substitution d’une base guanine par une base adenine sur le chromosome 3q25.2, ce qui induit un remplacement d’un acide aminé cystéine

En ouvrant cette page avec Netscape composer, vous verrez que le cadre prévu pour accueillir le panoramique a une taille déterminée, choisie par les concepteurs des hyperpaysages

Chaque séance durera deux heures, mais dans la seconde, seule la première heure sera consacrée à l'expérimentation décrite ici ; durant la seconde, les élèves travailleront sur

A time-varying respiratory elastance model is developed with a negative elastic component (E demand ), to describe the driving pressure generated during a patient initiated

The aim of this study was to assess, in three experimental fields representative of the various topoclimatological zones of Luxembourg, the impact of timing of fungicide

Attention to a relation ontology [...] refocuses security discourses to better reflect and appreciate three forms of interconnection that are not sufficiently attended to