-
Notifications
You must be signed in to change notification settings - Fork 0
/
12_01-BIB-READONLY-major-publications.bib
451 lines (451 loc) · 19.3 KB
/
12_01-BIB-READONLY-major-publications.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
@article{m:acher:hal-01522779,
author = {Acher, Mathieu and Lopez-Herrejon, Roberto E and Rabiser, Rick},
pdf = {\url{https://hal.inria.fr/hal-01522779/file/TOCE.pdf}},
url = {https://hal.inria.fr/hal-01522779},
year = {2017},
month = {May},
title = {Teaching Software Product Lines: A Snapshot of Current Practices and Challenges},
hal_id = {hal-01522779},
journal = {ACM Transactions of Computing Education},
presort = {000},
keywords = {Software and its engineering $\rightarrow$ Software product lines ; Software Product Lines ; Applied computing $\rightarrow$ Education ; Social and professional topics $\rightarrow$ Computing education ; General and reference $\rightarrow$ Surveys and overviews ; Software Engineering Teaching ; Variability Modeling ; Software Product Line Teaching},
publisher = {Association for Computing Machinery},
hal_version = {v1},
}
@article{m:corre:hal-01611048,
author = {Corre, Kevin and Barais, Olivier and Sunyé, Gerson and Frey, Vincent and Crom, Jean-Michel},
doi = {10.1515/popets-2017-0029},
pdf = {\url{https://hal.archives-ouvertes.fr/hal-01611048/file/main.pdf}},
url = {https://hal.archives-ouvertes.fr/hal-01611048},
year = {2017},
month = {January},
pages = {72-86},
title = {Why can't users choose their identity providers on the web?},
hal_id = {hal-01611048},
number = {3},
volume = {2017},
journal = {Proceedings on Privacy Enhancing Technologies},
presort = {000},
keywords = {trust ; identity ; user choice ; OpenID ; communication privacy ; OAuth ; SSO ; web browser ; WebRTC},
publisher = {De Gruyter Open},
hal_version = {v1},
}
@article{m:boussaa:hal-02422437,
author = {Boussaa, Mohamed and Barais, Olivier and Sunyé, Gerson and Baudry, Benoit},
doi = {10.1002/stvr.1721},
pdf = {\url{https://hal.inria.fr/hal-02422437/file/Leveraging}\%20metamorphic\%20testing\%20to\%20automatically\%20detect\%20inconsistencies\%20in\%20code\%20generator\%20families\%20\%28STVR2019\%29.pdf},
url = {https://hal.inria.fr/hal-02422437},
year = {2019},
month = {December},
title = {Leveraging metamorphic testing to automatically detect inconsistencies in code generator families},
hal_id = {hal-02422437},
journal = {Software Testing, Verification and Reliability},
presort = {000},
keywords = {test oracle ; code generators ; metamorphic testing ; non-functional properties ; software quality ; test automation},
publisher = {Wiley},
hal_version = {v1},
}
@article{m:veraperez:hal-01867423,
author = {Vera-Pérez, Oscar Luis and Danglot, Benjamin and Monperrus, Martin and Baudry, Benoit},
doi = {10.1007/s10664-018-9653-2},
pdf = {\url{https://hal.inria.fr/hal-01867423/file/main.pdf}},
url = {https://hal.inria.fr/hal-01867423},
year = {2018},
pages = {1-33},
title = {A Comprehensive Study of Pseudo-tested Methods},
hal_id = {hal-01867423},
journal = {Empirical Software Engineering},
presort = {000},
publisher = {Springer Verlag},
hal_version = {v2},
visible = {NOT_VISIBLE},
}
@article{m:temple:hal-02177158,
author = {Temple, Paul and Acher, Mathieu and Jézéquel, Jean-Marc},
doi = {10.1109/TSE.2019.2926971},
pdf = {\url{https://hal.inria.fr/hal-02177158/file/Leveraging}\_performance\_variations\_with\_Multimorphic\_Testing-TempleAcherJezequel-TSE.pdf},
url = {https://hal.inria.fr/hal-02177158},
year = {2019},
month = {July},
pages = {1-21},
title = {Empirical Assessment of Multimorphic Testing},
hal_id = {hal-02177158},
journal = {IEEE Transactions on Software Engineering},
presort = {000},
keywords = {performance ; test evaluation ; software testing ; configuration ; software product lines ; performance testing ; variability},
publisher = {Institute of Electrical and Electronics Engineers},
hal_version = {v1},
}
@article{m:leduc:hal-02399166,
author = {Leduc, Manuel and Degueule, Thomas and Van Wyk, Eric and Combemale, Benoit},
pdf = {\url{https://hal.inria.fr/hal-02399166/file/The}\_Software\_Language\_Extension\_Problem.pdf},
url = {https://hal.inria.fr/hal-02399166},
year = {2019},
pages = {1-4},
title = {The Software Language Extension Problem},
hal_id = {hal-02399166},
journal = {Software and Systems Modeling},
presort = {000},
publisher = {Springer Verlag},
hal_version = {v1},
}
@article{m:bousse:hal-01662336,
author = {Bousse, Erwan and Leroy, Dorian and Combemale, Benoit and Wimmer, Manuel and Baudry, Benoit},
doi = {10.1016/j.jss.2017.11.025},
pdf = {\url{https://hal.inria.fr/hal-01662336/file/jss17-debugging.pdf}},
url = {https://hal.inria.fr/hal-01662336},
year = {2018},
month = {March},
pages = {261-288},
title = {Omniscient Debugging for Executable DSLs},
hal_id = {hal-01662336},
volume = {137},
journal = {Journal of Systems and Software},
presort = {000},
keywords = {Omniscient debugging ; Execution trace ; Executable DSL ; Software Language Engineering ; Domain-Specific Languages},
publisher = {Elsevier},
hal_version = {v1},
}
@article{m:blouin:hal-01499106,
author = {Blouin, Arnaud and Lelli, Valéria and Baudry, Benoit and Coulon, Fabien},
doi = {10.1016/j.infsof.2018.05.005},
pdf = {\url{https://hal.inria.fr/hal-01499106/file/main.pdf}},
url = {https://hal.inria.fr/hal-01499106},
year = {2018},
month = {May},
pages = {49-64},
title = {User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners},
hal_id = {hal-01499106},
volume = {102},
journal = {Information and Software Technology},
presort = {000},
keywords = {Event Handling ; Empirical software engineering ; Code refactoring ; Design smell ; User interface ; Software maintenance},
publisher = {Elsevier},
hal_version = {v5},
}
@article{m:temple:hal-01659137,
author = {Temple, Paul and Acher, Mathieu and Jezequel, Jean-Marc and Barais, Olivier},
doi = {10.1109/MS.2017.4121211},
pdf = {\url{https://hal.inria.fr/hal-01659137/file/Learning}\_Contextual\_Variability\_Models.pdf},
url = {https://hal.inria.fr/hal-01659137},
year = {2017},
month = {November},
pages = {64-70},
title = {Learning-Contextual Variability Models},
hal_id = {hal-01659137},
number = {6},
volume = {34},
journal = {IEEE Software},
presort = {000},
publisher = {Institute of Electrical and Electronics Engineers},
hal_version = {v1},
}
@article{m:halin:hal-01829928,
author = {Halin, Axel and Nuttinck, Alexandre and Acher, Mathieu and Devroey, Xavier and Perrouin, Gilles and Baudry, Benoit},
doi = {10.1007/s10664-018-9635-4},
url = {https://hal.inria.fr/hal-01829928},
year = {2018},
month = {July},
pages = {1--44},
title = {Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack},
hal_id = {hal-01829928},
journal = {Empirical Software Engineering},
presort = {000},
publisher = {Springer Verlag},
hal_version = {v1},
}
@article{m:dartois:hal-02013421,
author = {Dartois, Jean-Emile and Boukhobza, Jalil and Knefati, Anas and Barais, Olivier},
doi = {10.1109/TCC.2019.2898192},
pdf = {\url{https://hal.inria.fr/hal-02013421/file/Investigating}\_Machine\_Learning\_Algorithms\_for\_Modeling\_SSD\_I\_O\_Performance\_for\_Container\_based\_Virtualization.pdf},
url = {https://hal.inria.fr/hal-02013421},
year = {2019},
pages = {1-14},
title = {Investigating Machine Learning Algorithms for Modeling SSD I/O Performance for Container-based Virtualization},
hal_id = {hal-02013421},
volume = {14},
journal = {IEEE transactions on cloud computing},
presort = {000},
keywords = {Performance and QoS ; Cloud Computing ; I/O Interference ; Solid State Drives ; Container ; Machine Learning ; flash memory},
publisher = {IEEE},
hal_version = {v1},
}
@inproceedings{m:rodriguezcancio:hal-01343818,
author = {Rodriguez-Cancio, Marcelino and Combemale, Benoit and Baudry, Benoit},
pdf = {\url{https://hal.inria.fr/hal-01343818/document}},
url = {https://hal.inria.fr/hal-01343818},
year = {2016},
month = {September},
title = {Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding},
hal_id = {hal-01343818},
presort = {000},
booktitle = {Proc. of the Int. Conf. on Automated Software Engineering (ASE)},
hal_version = {v1},
x_proceedings = {yes},
x_editorial_board = {yes},
x_invited_conference = {no},
x_international_audience = {yes},
x_scientific_popularization = {no},
}
@inproceedings{m:laperdrix:hal-01285470,
author = {Laperdrix, Pierre and Rudametkin, Walter and Baudry, Benoit},
url = {https://hal.inria.fr/hal-01285470},
year = {2016},
month = {May},
title = {Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints},
presort = {000},
booktitle = {Proc. of the Symp. on Security and Privacy (S\&P)},
}
@article{m:baudry:hal-01182103,
author = {Baudry, Benoit and Monperrus, Martin},
pdf = {\url{https://hal.inria.fr/hal-01182103/document}},
url = {https://hal.inria.fr/hal-01182103},
year = {2015},
pages = {16:1--16:26},
title = {The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond},
hal_id = {hal-01182103},
number = {1},
volume = {48},
journal = {ACM Computing Surveys},
presort = {000},
publisher = {Association for Computing Machinery},
hal_version = {v1},
x_editorial_board = {yes},
x_international_audience = {yes},
x_scientific_popularization = {no},
visible = {NOT_VISIBLE},
}
@inproceedings{m:degueule:hal-01197038,
author = {Degueule, Thomas and Combemale, Benoit and Blouin, Arnaud and Barais, Olivier and Jézéquel, Jean-Marc},
pdf = {\url{https://hal.inria.fr/hal-01197038/document}},
url = {https://hal.inria.fr/hal-01197038},
year = {2015},
month = {October},
title = {Melange: A Meta-language for Modular and Reusable Development of DSLs},
hal_id = {hal-01197038},
presort = {000},
booktitle = {Proc. of the Int. Conf. on Software Language Engineering (SLE)},
hal_version = {v1},
x_proceedings = {yes},
x_editorial_board = {yes},
x_invited_conference = {no},
x_international_audience = {yes},
x_scientific_popularization = {no},
}
@article{m:jezequel:hal-00829839,
author = {Jézéquel, Jean-Marc and Combemale, Benoit and Barais, Olivier and Monperrus, Martin and Fouquet, François},
pdf = {\url{https://hal.inria.fr/hal-00829839/document}},
url = {https://hal.inria.fr/hal-00829839},
year = {2015},
pages = {905-920},
title = {Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench},
hal_id = {hal-00829839},
number = {2},
volume = {14},
journal = {Software and Systems Modeling},
presort = {000},
publisher = {Springer Verlag},
hal_version = {v1},
x_editorial_board = {yes},
x_international_audience = {yes},
x_scientific_popularization = {no},
}
@article{m:becan:hal-01096969,
author = {Bécan, Guillaume and Acher, Mathieu and Baudry, Benoit and Ben Nasr, Sana},
doi = {10.1007/s10664-014-9357-1},
pdf = {\url{https://hal.inria.fr/hal-01096969/document}},
url = {https://hal.inria.fr/hal-01096969},
year = {2015},
pages = {1794--1841},
title = {Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study},
hal_id = {hal-01096969},
number = {4},
volume = {21},
journal = {Empirical Software Engineering},
presort = {000},
publisher = {Springer Verlag},
hal_version = {v1},
x_editorial_board = {yes},
x_international_audience = {yes},
x_scientific_popularization = {no},
visible = {NOT_VISIBLE},
}
@inproceedings{m:galindoduarte:hal-01003148,
author = {Galindo Duarte, José Angel and Alférez, Mauricio and Acher, Mathieu and Baudry, Benoit and Benavides, David},
pdf = {\url{https://hal.inria.fr/hal-01003148v3/document}},
url = {https://hal.inria.fr/hal-01003148},
year = {2014},
month = {July},
title = {A Variability-Based Testing Approach for Synthesizing Video Sequences},
hal_id = {hal-01003148},
presort = {000},
booktitle = {Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA)},
hal_version = {v3},
x_proceedings = {yes},
x_editorial_board = {yes},
x_invited_conference = {no},
x_international_audience = {yes},
x_scientific_popularization = {no},
}
@inproceedings{m:davril:hal-00859475,
author = {Davril, Jean-Marc and Delfosse, Edouard and Hariri, Negar and Acher, Mathieu and Clelang-Huang, Jane and Heymans, Patrick},
doi = {10.1145/2491411.2491455},
pdf = {\url{https://hal.inria.fr/hal-00859475/document}},
url = {https://hal.inria.fr/hal-00859475},
year = {2013},
month = {September},
pages = {290-300},
title = {Feature Model Extraction from Large Collections of Informal Product Descriptions},
hal_id = {hal-00859475},
presort = {000},
booktitle = {Proc. of the Europ. Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE)},
hal_version = {v1},
x_proceedings = {yes},
x_editorial_board = {yes},
x_invited_conference = {no},
x_international_audience = {yes},
x_scientific_popularization = {no},
}
@article{m:combemale:hal-00994551,
author = {Combemale, Benoit and Deantoni, Julien and Baudry, Benoit and France, Robert B. and Jézéquel, Jean-Marc and Gray, Jeff},
pdf = {\url{https://hal.inria.fr/hal-00994551/document}},
url = {https://hal.inria.fr/hal-00994551},
year = {2014},
month = {June},
pages = {10-13},
title = {Globalizing Modeling Languages},
hal_id = {hal-00994551},
journal = {IEEE Computer},
presort = {000},
publisher = {Institute of Electrical and Electronics Engineers},
hal_version = {v1},
x_editorial_board = {yes},
x_international_audience = {yes},
x_scientific_popularization = {no},
}
@article{m:gonzalezherrera:hal-01354999,
author = {Gonzalez-Herrera, Inti and Bourcier, Johann and Daubert, Erwan and Rudametkin, Walter and Barais, Olivier and Fouquet, François and Jézéquel, Jean-Marc and Baudry, Benoit},
doi = {10.1016/j.jss.2016.02.027},
pdf = {\url{https://hal.inria.fr/hal-01354999/file/jss.pdf}},
url = {https://hal.inria.fr/hal-01354999},
year = {2016},
title = {ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems},
hal_id = {hal-01354999},
journal = {Journal of Systems and Software},
presort = {000},
publisher = {Elsevier},
hal_version = {v1},
}
@article{m:temple:hal-03045797,
author = {Temple, Paul and Perrouin, Gilles and Acher, Mathieu and Biggio, Battista and Jézéquel, Jean-Marc and Roli, Fabio},
pdf = {\url{https://hal.inria.fr/hal-03045797/file/Extension}\_SPLC2019\_AdversConfig\_EMSE.pdf},
url = {https://hal.inria.fr/hal-03045797},
year = {2020},
month = {December},
pages = {1-57},
title = {Empirical Assessment of Generating Adversarial Configurations for Software Product Lines},
hal_id = {hal-03045797},
journal = {Empirical Software Engineering},
presort = {000},
publisher = {Springer Verlag},
hal_version = {v1},
}
@inproceedings{m:khelladi:hal-03029426,
author = {Khelladi, Djamel Eddine and Combemale, Benoit and Acher, Mathieu and Barais, Olivier},
pdf = {\url{https://hal.inria.fr/hal-03029426/file/temp}\_nier.pdf},
url = {https://hal.inria.fr/hal-03029426},
year = {2020},
month = {May},
title = {On the Power of Abstraction: a Model-Driven Co-evolution Approach of Software Code},
hal_id = {hal-03029426},
address = {Séoul, South Korea},
presort = {000},
booktitle = {42nd International Conference on Software Engineering, New Ideas and Emerging Results},
hal_version = {v1},
}
@inproceedings{m:ledilavrec:hal-03764541,
author = {Le Dilavrec, Quentin and Khelladi, Djamel Eddine and Blouin, Arnaud and Jézéquel, Jean-Marc},
url = {https://hal.inria.fr/hal-03764541},
date = {2022-10-10},
pages = {1-12},
title = {HyperAST: Enabling Efficient Analysis of Software Histories at Scale},
hal_id = {hal-03764541},
halref = {ledilavrec:hal-03764541},
presort = {000},
hal_type = {COMM},
location = {Oakland, United States},
publisher = {IEEE},
eventtitle = {ASE 2022 - 37th IEEE/ACM International Conference on Automated Software Engineering},
date_produced = {2022-10-10},
hal_type_title = {Conference papers},
x-proceedings = {yes},
x-editorial_board = {yes},
x-invited_conference = {no},
x-international_audience = {yes},
x-scientific_popularisation = {no},
}
@inproceedings{m:khelladi:hal-03029429,
author = {Khelladi, Djamel Eddine and Combemale, Benoit and Acher, Mathieu and Barais, Olivier and Jézéquel, Jean-Marc},
url = {https://hal.inria.fr/hal-03029429},
date = {2020-07-06},
pages = {1-13},
title = {Co-Evolving Code with Evolving Metamodels},
hal_id = {hal-03029429},
halref = {khelladi:hal-03029429},
presort = {000},
hal_type = {COMM},
location = {Séoul, South Korea},
eventtitle = {ICSE 2020 - 42nd International Conference on Software Engineering},
date_produced = {2020-07-06},
hal_type_title = {Conference papers},
x-proceedings = {yes},
x-editorial_board = {yes},
x-invited_conference = {no},
x-international_audience = {yes},
x-scientific_popularisation = {no},
}
@article{m:martin:hal-03358817,
author = {Martin, Hugo and Acher, Mathieu and Pereira, Juliana Alves and Lesoil, Luc and Jézéquel, Jean-Marc and Khelladi, Djamel Eddine},
doi = {10.1109/TSE.2021.3116768},
url = {https://hal.inria.fr/hal-03358817},
date = {2022-11-01},
issn = {0098-5589},
pages = {4274-4290},
title = {Transfer Learning Across Variants and Versions: The Case of Linux Kernel Size},
hal_id = {hal-03358817},
halref = {martin:hal-03358817},
number = {11},
volume = {48},
journal = {IEEE Transactions on Software Engineering},
presort = {000},
date_pub = {2022-11-01},
hal_type = {ART},
publisher = {Institute of Electrical and Electronics Engineers},
date_produced = {2022-11-01},
hal_type_title = {Journal articles},
x-proceedings = {no},
x-editorial_board = {yes},
x-invited_conference = {no},
x-international_audience = {yes},
x-scientific_popularisation = {no},
}
@inproceedings{m:randrianaina:hal-03547219,
author = {Randrianaina, Georges Aaron and Tërnava, Xhevahire and Khelladi, Djamel Eddine and Acher, Mathieu},
url = {https://hal.science/hal-03547219},
date = {2022-05-08},
pages = {1-12},
title = {On the Benefits and Limits of Incremental Build of Software Configurations: An Exploratory Study},
hal_id = {hal-03547219},
halref = {randrianaina:hal-03547219},
presort = {000},
hal_type = {COMM},
location = {Pittsburgh, Pennsylvania / Virtual, United States},
eventtitle = {ICSE 2022 - 44th International Conference on Software Engineering},
date_produced = {2022-05-08},
hal_type_title = {Conference papers},
x-proceedings = {yes},
x-editorial_board = {yes},
x-invited_conference = {no},
x-international_audience = {yes},
x-scientific_popularisation = {no},
}