![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Maxime Cordy
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j26]Xueqi Dang, Yinghua Li
, Wei Ma, Yuejun Guo, Qiang Hu, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Towards Exploring the Limitations of Test Selection Techniques on Graph Neural Networks: An Empirical Study. Empir. Softw. Eng. 29(5): 112 (2024) - [j25]Zeming Dong
, Qiang Hu, Zhenya Zhang
, Yuejun Guo
, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
:
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. J. Syst. Softw. 216: 112139 (2024) - [j24]Qiang Hu
, Yuejun Guo
, Xiaofei Xie
, Maxime Cordy
, Mike Papadakis
, Yves Le Traon
:
LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing. ACM Trans. Softw. Eng. Methodol. 33(1): 25:1-25:28 (2024) - [j23]Yuejun Guo
, Qiang Hu
, Xiaofei Xie
, Maxime Cordy
, Mike Papadakis
, Yves Le Traon
:
KAPE: kNN-based Performance Testing for Deep Code Search. ACM Trans. Softw. Eng. Methodol. 33(2): 48:1-48:24 (2024) - [j22]Qiang Hu
, Yuejun Guo
, Xiaofei Xie
, Maxime Cordy
, Lei Ma
, Mike Papadakis
, Yves Le Traon
:
Test Optimization in DNN Testing: A Survey. ACM Trans. Softw. Eng. Methodol. 33(4): 111:1-111:42 (2024) - [j21]Qiang Hu
, Yuejun Guo
, Xiaofei Xie
, Maxime Cordy
, Lei Ma
, Mike Papadakis
, Yves Le Traon
:
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models. IEEE Trans. Software Eng. 50(5): 1080-1095 (2024) - [c88]Mihaela C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia:
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data. ICLR 2024 - [c87]Sami Lazreg
, Maxime Cordy
, Simon Thrane Hansen
, Axel Legay
:
Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion 2024: 21-25 - [c86]Luiz Carvalho
, Renzo Degiovanni
, Maxime Cordy
, Nazareno Aguirre
, Yves Le Traon
, Mike Papadakis
:
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. ICSE 2024: 123:1-123:13 - [c85]Olivier Zeyen
, Maxime Cordy
, Gilles Perrouin
, Mathieu Acher
:
Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions. ICSE Companion 2024: 322-323 - [c84]Olivier Zeyen
, Maxime Cordy
, Gilles Perrouin
, Mathieu Acher
:
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. FormaliSE@ICSE 2024: 23-32 - [e6]Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [i49]Mihaela Catalina Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia:
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data. CoRR abs/2402.04823 (2024) - [i48]Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao:
Importance Guided Data Augmentation for Neural-Based Code Understanding. CoRR abs/2402.15769 (2024) - [i47]Qiang Hu, Jin Wen, Maxime Cordy, Yuheng Huang, Xiaofei Xie, Lei Ma:
Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing. CoRR abs/2404.14419 (2024) - [i46]Thibault Simonetto, Salah Ghamizi, Maxime Cordy:
Constrained Adaptive Attack: Effective Adversarial Attack Against Deep Neural Networks for Tabular Data. CoRR abs/2406.00775 (2024) - [i45]Pantelis Dogoulis, Matthieu Jimenez, Salah Ghamizi, Maxime Cordy, Yves Le Traon:
Robustness Analysis of AI Models in Critical Energy Systems. CoRR abs/2406.14361 (2024) - 2023
- [j20]Yuejun Guo
, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon:
DRE: density-based data selection with entropy for adversarial-robust deep learning models. Neural Comput. Appl. 35(5): 4009-4026 (2023) - [j19]Mathieu Acher
, Gilles Perrouin
, Maxime Cordy:
BURST: Benchmarking uniform random sampling techniques. Sci. Comput. Program. 226: 102914 (2023) - [j18]Maxime Cordy, Xiaofei Xie, Bowen Xu, Bibi Stamatia:
MaLTeSQuE 2022 Workshop Summary. ACM SIGSOFT Softw. Eng. Notes 48(1): 95-96 (2023) - [j17]Ahmed Khanfir
, Anil Koyuncu
, Mike Papadakis
, Maxime Cordy
, Tegawendé F. Bissyandé
, Jacques Klein
, Yves Le Traon
:
iBiR: Bug-report-driven Fault Injection. ACM Trans. Softw. Eng. Methodol. 32(2): 33:1-33:31 (2023) - [c83]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
On Evaluating Adversarial Robustness of Chest X-ray Classification. SafeAI@AAAI 2023 - [c82]Salijona Dyrmishi
, Salah Ghamizi, Maxime Cordy:
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. ACL (1) 2023: 8822-8836 - [c81]Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon:
Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment. CAIN 2023: 56-67 - [c80]Luiz Carvalho, Renzo Degiovanni, Matías Brizzio
, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis:
ACoRe: Automated Goal-Conflict Resolution. FASE 2023: 3-25 - [c79]Matías Brizzio
, Maxime Cordy
, Mike Papadakis
, César Sánchez
, Nazareno Aguirre
, Renzo Degiovanni
:
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO 2023: 1499-1507 - [c78]Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon:
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. ICML 2023: 11255-11282 - [c77]Qiang Hu, Yuejun Guo, Xiaofei Xie
, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon:
CodeS: Towards Code Model Generalization Under Distribution Shift. ICSE (NIER) 2023: 1-6 - [c76]Qiang Hu, Yuejun Guo, Xiaofei Xie
, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon:
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. ICSE 2023: 1776-1787 - [c75]Jaime Cuartas, Jesús Aranda
, Maxime Cordy, James Ortiz
, Gilles Perrouin
, Pierre-Yves Schobbens
:
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW 2023: 52-61 - [c74]Aayush Garg
, Renzo Degiovanni
, Facundo Molina
, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon:
Enabling Efficient Assertion Inference. ISSRE 2023: 623-634 - [c73]Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon:
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. ASE 2023: 1708-1712 - [c72]Maxime Cordy
, Sami Lazreg
, Axel Legay
, Pierre-Yves Schobbens
:
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106 - [c71]Salijona Dyrmishi
, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy:
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. SP 2023: 1384-1400 - [c70]Aleksandar S. Dimovski
, Sami Lazreg
, Maxime Cordy
, Axel Legay
:
Family-based model checking of fMultiLTL properties. SPLC (A) 2023: 41-51 - [c69]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao:
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. SANER 2023: 379-390 - [i44]Aayush Garg
, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon:
Assertion Inferring Mutants. CoRR abs/2301.12284 (2023) - [i43]Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon:
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. CoRR abs/2302.02907 (2023) - [i42]Guillaume Haben
, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon:
The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI. CoRR abs/2302.10594 (2023) - [i41]Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis:
ACoRe: Automated Goal-Conflict Resolution. CoRR abs/2303.05213 (2023) - [i40]Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Boosting Source Code Learning with Data Augmentation: An Empirical Study. CoRR abs/2303.06808 (2023) - [i39]Martin Gubri
, Maxime Cordy, Yves Le Traon:
Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability. CoRR abs/2304.02688 (2023) - [i38]Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy:
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. CoRR abs/2305.15587 (2023) - [i37]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon:
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models. CoRR abs/2306.01250 (2023) - [i36]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Yves Le Traon:
Evaluating the Robustness of Test Selection Methods for Deep Neural Networks. CoRR abs/2308.01314 (2023) - [i35]Salah Ghamizi, Maxime Cordy, Yuejun Guo, Mike Papadakis, Yves Le Traon:
Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations. CoRR abs/2309.05381 (2023) - [i34]Thibault Simonetto, Salah Ghamizi, Antoine Desjardins, Maxime Cordy, Yves Le Traon:
Constrained Adaptive Attacks: Realistic Evaluation of Adversarial Examples and Robust Training of Deep Neural Networks for Tabular Data. CoRR abs/2311.04503 (2023) - 2022
- [j16]Davide Basile
, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay:
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27(7): 160 (2022) - [j15]Aayush Garg
, Renzo Degiovanni
, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Learning from what we know: How to perform vulnerability prediction using noisy historical data. Empir. Softw. Eng. 27(7): 169 (2022) - [j14]Nikolaos Antoniadis
, Maxime Cordy
, Angelo Sifaleras
, Yves Le Traon
:
A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty. Int. Trans. Oper. Res. 29(4): 2172-2200 (2022) - [j13]Marcelo Luis Ruiz Rodríguez
, Sylvain Kubler, Andrea de Giorgio
, Maxime Cordy, Jérémy Robert, Yves Le Traon:
Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines. Robotics Comput. Integr. Manuf. 78: 102406 (2022) - [j12]Qiang Hu
, Yuejun Guo
, Maxime Cordy
, Xiaofei Xie
, Lei Ma, Mike Papadakis, Yves Le Traon:
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement. ACM Trans. Softw. Eng. Methodol. 31(4): 78:1-78:30 (2022) - [c68]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. AAAI 2022: 697-705 - [c67]Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Robust active learning: sample-efficient training of robust deep learning models. CAIN 2022: 41-42 - [c66]Adriano Franci, Maxime Cordy, Martin Gubri
, Mike Papadakis, Yves Le Traon:
Influence-driven data poisoning in graph-based semi-supervised classifiers. CAIN 2022: 77-87 - [c65]Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay:
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop 2022 - [c64]Martin Gubri
, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. ECCV (4) 2022: 603-618 - [c63]Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. ICSE 2022: 982-994 - [c62]Sarra Habchi, Guillaume Haben
, Jeongju Sohn
, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon:
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. ICSME 2022: 352-363 - [c61]Sarra Habchi, Guillaume Haben
, Mike Papadakis, Maxime Cordy, Yves Le Traon:
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. ICST 2022: 244-255 - [c60]Thibault Simonetto, Salijona Dyrmishi
, Salah Ghamizi, Maxime Cordy, Yves Le Traon:
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. IJCAI 2022: 1313-1319 - [c59]Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay:
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) 2022: 279-298 - [c58]Sami Lazreg, Maxime Cordy, Axel Legay:
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) 2022: 448-471 - [c57]Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie
, Yves Le Traon:
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. MSR 2022: 524-536 - [c56]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
Efficient and transferable adversarial examples from bayesian neural networks. UAI 2022: 738-748 - [c55]Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein
, Maxime Cordy:
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. VaMoS 2022: 4:1-4:10 - [e5]Maxime Cordy, Xiaofei Xie, Bowen Xu, Bibi Stamatia:
Proceedings of the 6th International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2022, Singapore, Singapore, 18 November 2022. ACM 2022, ISBN 978-1-4503-9456-7 [contents] - [i33]Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy:
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. CoRR abs/2202.03277 (2022) - [i32]Yuejun Guo, Qiang Hu, Maxime Cordy, Xiaofei Xie, Mike Papadakis
, Yves Le Traon:
Labeling-Free Comparison Testing of Deep Learning Models. CoRR abs/2204.03994 (2022) - [i31]Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis
, Yves Le Traon:
Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment. CoRR abs/2204.04220 (2022) - [i30]Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Software Fairness: An Analysis and Survey. CoRR abs/2205.08809 (2022) - [i29]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon:
CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning. CoRR abs/2206.05480 (2022) - [i28]Sarra Habchi, Guillaume Haben
, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon:
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. CoRR abs/2207.10143 (2022) - [i27]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon:
Efficient Testing of Deep Neural Networks via Decision Boundary Analysis. CoRR abs/2207.10942 (2022) - [i26]Martin Gubri
, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. CoRR abs/2207.13129 (2022) - [i25]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Enhancing Code Classification by Mixup-Based Data Augmentation. CoRR abs/2210.03003 (2022) - [i24]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling. CoRR abs/2210.03123 (2022) - [i23]Salah Ghamizi, Maxime Cordy, Michail Papadakis, Yves Le Traon:
On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices. CoRR abs/2212.08130 (2022) - 2021
- [j11]Maxime Cordy
, Sami Lazreg, Mike Papadakis
, Axel Legay:
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. 33(6): 1147-1172 (2021) - [j10]Wei Ma, Mike Papadakis
, Anestis Tsakmalis, Maxime Cordy
, Yves Le Traon
:
Test Selection for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. 30(2): 13:1-13:22 (2021) - [j9]Thierry Titcheu Chekam
, Mike Papadakis
, Maxime Cordy
, Yves Le Traon
:
Killing Stubborn Mutants with Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 30(2): 19:1-19:23 (2021) - [j8]Thiago M. Castro
, Leopoldo Teixeira, Vander Alves, Sven Apel
, Maxime Cordy
, Rohit Gheyi:
A Formal Framework of Software Product Line Analyses. ACM Trans. Softw. Eng. Methodol. 30(3): 34:1-34:37 (2021) - [c54]Salah Ghamizi, Maxime Cordy, Mike Papadakis
, Yves Le Traon
:
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning To Adversarial Attacks Into A Real-world Application. ICCVW 2021: 31-40 - [c53]Qiang Hu, Yuejun Guo
, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis
, Yves Le Traon
:
Towards Exploring the Limitations of Active Learning: An Empirical Study. ASE 2021: 917-929 - [c52]Guillaume Haben
, Sarra Habchi, Mike Papadakis
, Maxime Cordy, Yves Le Traon
:
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. MSR 2021: 219-229 - [c51]Mathieu Acher, Gilles Perrouin, Maxime Cordy:
BURST: a benchmarking platform for uniform random sampling techniques. SPLC (B) 2021: 36-40 - [e4]Mike Papadakis
, Maxime Cordy:
Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop, BENEVOL 2020, Luxembourg, December 3-4, 2020. CEUR Workshop Proceedings 2912, CEUR-WS.org 2021 [contents] - [i22]Sarra Habchi
, Maxime Cordy, Mike Papadakis, Yves Le Traon:
On the Use of Mutation in Injecting Test Order-Dependency. CoRR abs/2104.07441 (2021) - [i21]Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre:
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. CoRR abs/2105.12595 (2021) - [i20]Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon:
MUTEN: Boosting Gradient-Based Adversarial Attacks via Mutant-Based Ensembles. CoRR abs/2109.12838 (2021) - [i19]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. CoRR abs/2110.15053 (2021) - [i18]Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Discerning Legitimate Failures From False Alerts: A Study of Chromium's Continuous Integration. CoRR abs/2111.03382 (2021) - [i17]Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon:
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. CoRR abs/2112.01156 (2021) - [i16]Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon:
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. CoRR abs/2112.01218 (2021) - [i15]Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Robust Active Learning: Sample-Efficient Training of Robust Deep Learning Models. CoRR abs/2112.02542 (2021) - [i14]Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon:
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. CoRR abs/2112.04919 (2021) - 2020
- [j7]Francesca Arcelli Fontana, Gilles Perrouin
, Apostolos Ampatzoglou, Mathieu Acher, Bartosz Walter, Maxime Cordy, Fabio Palomba, Xavier Devroey:
MALTESQUE 2019 Workshop Summary. ACM SIGSOFT Softw. Eng. Notes 45(1): 34-35 (2020) - [c50]Maxime Cordy
, Mike Papadakis, Axel Legay:
Statistical Model Checking for Variability-Intensive Systems. FASE 2020: 294-314 - [c49]Salah Ghamizi, Maxime Cordy, Mike Papadakis
, Yves Le Traon
:
FeatureNET: diversity-driven generation of deep learning models. ICSE (Companion Volume) 2020: 41-44 - [c48]Salah Ghamizi, Renaud Rwemalika, Maxime Cordy, Lisa Veiber
, Tegawendé F. Bissyandé, Mike Papadakis
, Jacques Klein
, Yves Le Traon
:
Data-driven Simulation and Optimization for Covid-19 Exit Strategies. KDD 2020: 3434-3442 - [c47]Nikolaos Antoniadis
, Maxime Cordy
, Angelo Sifaleras
, Yves Le Traon
:
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach. OLA 2020: 269-281 - [c46]Salah Ghamizi, Maxime Cordy, Martin Gubri
, Mike Papadakis
, Andrey Boytsov, Yves Le Traon
, Anne Goujon:
Search-based adversarial testing and improvement of constrained credit scoring systems. ESEC/SIGSOFT FSE 2020: 1089-1100 - [c45]Ludovic Mouline, Maxime Cordy, Yves Le Traon
:
Load approximation for uncertain topologies in the low-voltage grid. SmartGridComm 2020: 1-6 - [c44]Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay:
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) 2020: 30:1-30:11 - [e3]Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake:
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020. ACM 2020, ISBN 978-1-4503-7501-6 [contents] - [i13]Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Killing Stubborn Mutants with Symbolic Execution. CoRR abs/2001.02941 (2020) - [i12]Salah Ghamizi, Renaud Rwemalika, Lisa Veiber, Maxime Cordy, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon:
Data-driven Simulation and Optimization for Covid-19 Exit Strategies. CoRR abs/2006.07087 (2020) - [i11]Martin Gubri
, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks. CoRR abs/2011.05074 (2020) - [i10]Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon:
IBIR: Bug Report driven Fault Injection. CoRR abs/2012.06506 (2020) - [i9]Adriano Franci, Maxime Cordy, Martin Gubri
, Mike Papadakis, Yves Le Traon:
Effective and Efficient Data Poisoning in Semi-Supervised Learning. CoRR abs/2012.07381 (2020) - [i8]Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach. CoRR abs/2012.11701 (2020)
2010 – 2019
- 2019
- [j6]Maxime Cordy, Axel Legay:
Verification and abstraction of real-time variability-intensive systems. Int. J. Softw. Tools Technol. Transf. 21(6): 635-649 (2019) - [c43]Maxime Cordy
, Xavier Devroey
, Axel Legay, Gilles Perrouin
, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312 - [c42]Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet:
Towards sampling and simulation-based analysis of featured weighted automata. FormaliSE@ICSE 2019: 61-64 - [c41]Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser
:
Multifaceted automated analyses for variability-intensive embedded systems. ICSE 2019: 854-865 - [c40]Quentin Plazar, Mathieu Acher, Gilles Perrouin
, Xavier Devroey
, Maxime Cordy:
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? ICST 2019: 240-251 - [c39]Maxime Cordy, Steve Muller, Mike Papadakis
, Yves Le Traon
:
Search-based test and improvement of machine-learning-based anomaly detection systems. ISSTA 2019: 158-168 - [c38]Pierre-André Patout, Maxime Cordy:
Towards context-aware automated writing evaluation systems. EASEAI@ESEC/SIGSOFT FSE 2019: 17-20 - [c37]Salah Ghamizi, Maxime Cordy, Mike Papadakis
, Yves Le Traon
:
Automated search for configurations of convolutional neural network architectures. SPLC (A) 2019: 21:1-21:12 - [c36]Maxime Cordy, Sami Lazreg:
Automated evaluation of embedded-system design alternatives. SPLC (A) 2019: 52:1 - [c35]Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple
, Jean-Marc Jézéquel
:
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction. VaMoS 2019: 7:1-7:9 - [e2]Francesca Arcelli Fontana, Bartosz Walter, Apostolos Ampatzoglou, Fabio Palomba, Gilles Perrouin, Mathieu Acher, Maxime Cordy, Xavier Devroey:
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 27, 2019. ACM 2019, ISBN 978-1-4503-6855-1 [contents] - [i7]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Automated Search for Configurations of Deep Neural Network Architectures. CoRR abs/1904.04612 (2019) - [i6]Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon:
Test Selection for Deep Learning Systems. CoRR abs/1904.13195 (2019) - [i5]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique. CoRR abs/1912.01487 (2019) - [i4]Maxime Cordy, Renaud Rwemalika, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair. CoRR abs/1912.03197 (2019) - 2018
- [c34]Matthieu Jimenez
, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis
, Marinos Kintis, Yves Le Traon
, Mark Harman:
Are mutants really natural?: a study on how "naturalness" helps mutant selection. ESEM 2018: 3:1-3:10 - [c33]Matthieu Jimenez
, Maxime Cordy, Yves Le Traon
, Mike Papadakis
:
On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis. ICSME 2018: 437-448 - [c32]Matthieu Jimenez
, Maxime Cordy, Yves Le Traon
, Mike Papadakis
:
TUNA: TUning Naturalness-Based Analysis. ICSME 2018: 715 - [c31]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
On Studying Bad Practices in Configuration UIs. IUI Workshops 2018 - [c30]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. IUI Workshops 2018 - [c29]François Fouquet, Thomas Hartmann, Sébastien Mosser
, Maxime Cordy:
Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series. SAC 2018: 1054-1061 - [c28]Maxime Cordy, Patrick Heymans:
Engineering configurators for the retail industry: experience report and challenges ahead. SAC 2018: 2050-2057 - [e1]Gilles Perrouin, Mathieu Acher
, Maxime Cordy, Xavier Devroey:
Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, MASES@ASE 2018, Montpellier, France, September 3, 2018. ACM 2018 [contents] - 2017
- [j5]Xavier Devroey
, Gilles Perrouin
, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens
, Patrick Heymans:
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1): 153-171 (2017) - [c27]Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans:
Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. NLDB 2017: 97-109 - [c26]Axel Legay, Gilles Perrouin
, Xavier Devroey
, Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - [c25]Gilles Perrouin
, Xavier Devroey
, Maxime Cordy:
Testing Variability-Intensive Systems. SPLC (A) 2017: 255 - 2016
- [c24]Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans:
Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators. EnCHIReS@EICS 2016: 40-43 - [c23]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering 2016: 79-80 - 2015
- [c22]Genaína Nunes Rodrigues
, Vander Alves
, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens
, Amir Molzam Sharifloo, Axel Legay:
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE 2015: 173-180 - [c21]Xavier Devroey
, Maxime Cordy, Pierre-Yves Schobbens
, Axel Legay, Patrick Heymans:
State machine flattening, a mapping study and tools assessment. ICST Workshops 2015: 1-8 - [c20]Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher
:
Using fuzzy modeling for consistent definitions of product qualities in requirements. AIRE 2015: 17-24 - [c19]Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management 2015: 91-92 - [c18]Maxime Cordy, Jean-Marc Davril, Joel Greenyer
, Erika Gressi, Patrick Heymans:
All-at-once-synthesis of controllers from scenario-based product line specifications. SPLC 2015: 26-35 - 2014
- [b1]Maxime Cordy:
Model Checking for the Masses. Catholic University of Louvain, Louvain-la-Neuve, Belgium, 2014 - [j4]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - [c17]Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans:
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) 2014: 336-350 - [c16]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
, Bruno Dawagne, Martin Leucker
:
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE 2014: 190-201 - [c15]Xavier Devroey
, Gilles Perrouin
, Maxime Cordy, Mike Papadakis
, Axel Legay, Pierre-Yves Schobbens
:
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844 - [c14]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
:
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c13]Xavier Devroey
, Gilles Perrouin
, Maxime Cordy, Pierre-Yves Schobbens
, Axel Legay, Patrick Heymans:
Towards statistical prioritization for software product lines testing. VaMoS 2014: 10:1-10:7 - [i3]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
State Machine Flattening: Mapping Study and Assessment. CoRR abs/1403.5398 (2014) - 2013
- [j3]Joel Greenyer
, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. Requir. Eng. 18(2): 175-198 (2013) - [j2]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013) - [c12]Maxime Cordy, Axel Legay, Pierre-Yves Schobbens
, Louis-Marie Traonouez:
A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE 2013: 64-70 - [c11]Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay:
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481 - [c10]Patrick Heymans, Axel Legay, Maxime Cordy:
Efficient quality assurance of variability-intensive systems. ICSE 2013: 1496-1498 - [c9]Joel Greenyer
, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally synthesizing controllers from scenario-based product line specifications. ESEC/SIGSOFT FSE 2013: 433-443 - [c8]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146 - [p1]Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
:
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29 - [i2]Xavier Devroey, Maxime Cordy, Gilles Perrouin
, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards Statistical Prioritization for Software Product Lines Testing. CoRR abs/1310.2474 (2013) - [i1]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - 2012
- [j1]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
:
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012) - [c7]Maxime Cordy, Andreas Classen, Gilles Perrouin
, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay:
Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 - [c6]Xavier Devroey
, Maxime Cordy, Gilles Perrouin
, Eun-Young Kang
, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 - [c5]Joel Greenyer
, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Efficient consistency checking of scenario-based product-line specifications. RE 2012: 161-170 - [c4]Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c3]Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay:
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81 - [c2]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay:
Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 - 2011
- [c1]Maxime Cordy, Marie-Ange Remiche:
QBD sensitivity analysis tool using discrete-event simulation and extension of SMCSolver. VALUETOOLS 2011: 439-446
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-15 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint