Maxime Cordy

According to our database, Maxime Cordy authored at least 147 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Exploring the Limitations of Test Selection Techniques on Graph Neural Networks: An Empirical Study.

Xueqi Dang, Yinghua Li, Wei Ma, Yuejun Guo, Qiang Hu, Mike Papadakis, Maxime Cordy, Yves Le Traon

Empir. Softw. Eng., September, 2024

Active Code Learning: Benchmarking Sample-Efficient Training of Code Models.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

IEEE Trans. Software Eng., May, 2024

Test Optimization in DNN Testing: A Survey.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., May, 2024

KAPE: <i>k</i>NN-based Performance Testing for Deep Code Search.

Yuejun Guo, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., February, 2024

LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., January, 2024

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing.

Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

J. Syst. Softw., 2024

Deep generative models as an adversarial attack strategy for tabular machine learning.

Salijona Dyrmishi, Mihaela Catalina Stoian, Eleonora Giunchiglia, Maxime Cordy

CoRR, 2024

TabularBench: Benchmarking Adversarial Robustness for Tabular Deep Learning in Real-world Use-cases.

Thibault Simonetto, Salah Ghamizi, Maxime Cordy

CoRR, 2024

Robustness Analysis of AI Models in Critical Energy Systems.

Pantelis Dogoulis, Matthieu Jimenez, Salah Ghamizi, Maxime Cordy, Yves Le Traon

CoRR, 2024

Constrained Adaptive Attack: Effective Adversarial Attack Against Deep Neural Networks for Tabular Data.

Thibault Simonetto, Salah Ghamizi, Maxime Cordy

CoRR, 2024

Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing.

Qiang Hu, Jin Wen, Maxime Cordy, Yuheng Huang, Xiaofei Xie, Lei Ma

CoRR, 2024

Importance Guided Data Augmentation for Neural-Based Code Understanding.

Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao

CoRR, 2024

Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions.

Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Daedalux: An Extensible Platform for Variability-Aware Model Checking.

Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.

Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling.

Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data.

Mihaela C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

iBiR: Bug-report-driven Fault Injection.

Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., April, 2023

BURST: Benchmarking uniform random sampling techniques.

Mathieu Acher, Gilles Perrouin, Maxime Cordy

Sci. Comput. Program., March, 2023

DRE: density-based data selection with entropy for adversarial-robust deep learning models.

Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon

Neural Comput. Appl., February, 2023

MaLTeSQuE 2022 Workshop Summary.

Maxime Cordy, Xiaofei Xie, Bowen Xu, Stamatia Bibi

ACM SIGSOFT Softw. Eng. Notes, January, 2023

Constrained Adaptive Attacks: Realistic Evaluation of Adversarial Examples and Robust Training of Deep Neural Networks for Tabular Data.

Thibault Simonetto, Salah Ghamizi, Antoine Desjardins, Maxime Cordy, Yves Le Traon

CoRR, 2023

Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations.

Salah Ghamizi, Maxime Cordy, Yuejun Guo, Mike Papadakis, Yves Le Traon

CoRR, 2023

Evaluating the Robustness of Test Selection Methods for Deep Neural Networks.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2023

Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability.

Martin Gubri, Maxime Cordy, Yves Le Traon

CoRR, 2023

Boosting Source Code Learning with Data Augmentation: An Empirical Study.

Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

CoRR, 2023

The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI.

Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon

CoRR, 2023

Assertion Inferring Mutants.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon

CoRR, 2023

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation.

Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao

Proceedings of the IEEE International Conference on Software Analysis, 2023

Family-based model checking of fMultiLTL properties.

Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks.

Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Towards Strengthening Formal Specifications with Mutation Model Checking.

Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack.

Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Enabling Efficient Assertion Inference.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.

Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

CodeS: Towards Code Model Generalization Under Distribution Shift.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks.

Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon

Proceedings of the International Conference on Machine Learning, 2023

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

ACoRe: Automated Goal-Conflict Resolution.

Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks.

Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

On Evaluating Adversarial Robustness of Chest X-ray Classification.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Lei Ma, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., 2022

Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines.

Marcelo Luis Ruiz Rodríguez, Sylvain Kubler, Andrea de Giorgio, Maxime Cordy, Jérémy Robert, Yves Le Traon

Robotics Comput. Integr. Manuf., 2022

A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty.

Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon

Int. Trans. Oper. Res., 2022

Learning from what we know: How to perform vulnerability prediction using noisy historical data.

Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon

Empir. Softw. Eng., 2022

Static detection of equivalent mutants in real-time model-based mutation testing.

Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay

Empir. Softw. Eng., 2022

On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices.

Salah Ghamizi, Maxime Cordy, Michail Papadakis, Yves Le Traon

CoRR, 2022

Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling.

Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

CoRR, 2022

Enhancing Code Classification by Mixup-Based Data Augmentation.

Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

CoRR, 2022

Efficient Testing of Deep Neural Networks via Decision Boundary Analysis.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2022

CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2022

Software Fairness: An Analysis and Survey.

Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon

CoRR, 2022

Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2022

Labeling-Free Comparison Testing of Deep Learning Models.

Yuejun Guo, Qiang Hu, Maxime Cordy, Xiaofei Xie, Mike Papadakis, Yves Le Traon

CoRR, 2022

Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions.

Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein, Maxime Cordy

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

Efficient and transferable adversarial examples from bayesian neural networks.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen

Proceedings of the Uncertainty in Artificial Intelligence, 2022

GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses.

Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking.

Sami Lazreg, Maxime Cordy, Axel Legay

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept.

Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space.

Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests.

Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness.

Sarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment.

Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen

Proceedings of the Computer Vision - ECCV 2022, 2022

CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems.

Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay

Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), 2022

Influence-driven data poisoning in graph-based semi-supervised classifiers.

Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

Robust active learning: sample-efficient training of robust deep learning models.

Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

Adversarial Robustness in Multi-Task Learning: Promises and Illusions.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Test Selection for Deep Learning Systems.

Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., 2021

Killing Stubborn Mutants with Symbolic Execution.

Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., 2021

A Formal Framework of Software Product Line Analyses.

Thiago M. Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi

ACM Trans. Softw. Eng. Methodol., 2021

Statistical model checking for variability-intensive systems: applications to bug detection and minimization.

Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay

Formal Aspects Comput., 2021

Discerning Legitimate Failures From False Alerts: A Study of Chromium's Continuous Integration.

Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon

CoRR, 2021

MUTEN: Boosting Gradient-Based Adversarial Attacks via Mutant-Based Ensembles.

Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon

CoRR, 2021

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre

CoRR, 2021

On the Use of Mutation in Injecting Test Order-Dependency.

Sarra Habchi, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2021

BURST: a benchmarking platform for uniform random sampling techniques.

Mathieu Acher, Gilles Perrouin, Maxime Cordy

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests.

Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Towards Exploring the Limitations of Active Learning: An Empirical Study.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Evasion Attack STeganography: Turning Vulnerability Of Machine Learning To Adversarial Attacks Into A Real-world Application.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

2020

MALTESQUE 2019 Workshop Summary.

Francesca Arcelli Fontana, Gilles Perrouin, Apostolos Ampatzoglou, Mathieu Acher, Bartosz Walter, Maxime Cordy, Fabio Palomba, Xavier Devroey

ACM SIGSOFT Softw. Eng. Notes, 2020

Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach.

Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2020

Effective and Efficient Data Poisoning in Semi-Supervised Learning.

Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon

CoRR, 2020

Efficient and Transferable Adversarial Examples from Bayesian Neural Networks.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2020

Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing.

Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Load approximation for uncertain topologies in the low-voltage grid.

Ludovic Mouline, Maxime Cordy, Yves Le Traon

Proceedings of the 2020 IEEE International Conference on Communications, 2020

Search-based adversarial testing and improvement of constrained credit scoring systems.

Salah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boytsov, Yves Le Traon, Anne Goujon

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach.

Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon

Proceedings of the Optimization and Learning - Third International Conference, 2020

Data-driven Simulation and Optimization for Covid-19 Exit Strategies.

Salah Ghamizi, Renaud Rwemalika, Maxime Cordy, Lisa Veiber, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

FeatureNET: diversity-driven generation of deep learning models.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Statistical Model Checking for Variability-Intensive Systems.

Maxime Cordy, Mike Papadakis, Axel Legay

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Verification and abstraction of real-time variability-intensive systems.

Maxime Cordy, Axel Legay

Int. J. Softw. Tools Technol. Transf., 2019

FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair.

Maxime Cordy, Renaud Rwemalika, Mike Papadakis, Mark Harman

CoRR, 2019

Adversarial Embedding: A robust and elusive Steganography and Watermarking technique.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2019

Automated Search for Configurations of Deep Neural Network Architectures.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2019

Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction.

Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Automated search for configurations of convolutional neural network architectures.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Automated evaluation of embedded-system design alternatives.

Maxime Cordy, Sami Lazreg

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Towards context-aware automated writing evaluation systems.

Pierre-André Patout, Maxime Cordy

Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2019

Search-based test and improvement of machine-learning-based anomaly detection systems.

Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Multifaceted automated analyses for variability-intensive embedded systems.

Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser

Proceedings of the 41st International Conference on Software Engineering, 2019

Towards sampling and simulation-based analysis of featured weighted automata.

Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

A Decade of Featured Transition Systems.

Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series.

François Fouquet, Thomas Hartmann, Sébastien Mosser, Maxime Cordy

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Engineering configurators for the retail industry: experience report and challenges ahead.

Maxime Cordy, Patrick Heymans

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices.

Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans

Proceedings of the Joint Proceedings of the ACM IUI 2018 Workshops co-located with the 23rd ACM Conference on Intelligent User Interfaces (ACM IUI 2018), 2018

On Studying Bad Practices in Configuration UIs.

Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans

Proceedings of the Joint Proceedings of the ACM IUI 2018 Workshops co-located with the 23rd ACM Conference on Intelligent User Interfaces (ACM IUI 2018), 2018

TUNA: TUning Naturalness-Based Analysis.

Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis.

Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

Are mutants really natural?: a study on how "naturalness" helps mutant selection.

Matthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

2017

Statistical prioritization for software product line testing: an experience report.

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

Softw. Syst. Model., 2017

Testing Variability-Intensive Systems.

Gilles Perrouin, Xavier Devroey, Maxime Cordy

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

On Featured Transition Systems.

Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering.

Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans

Proceedings of the Natural Language Processing and Information Systems, 2017

2016

Counterexample guided abstraction refinement of product-line behavioural models.

Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker

Proceedings of the Software Engineering 2016, 2016

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators.

Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans

Proceedings of the Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the eight ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015

All-at-once-synthesis of controllers from scenario-based product line specifications.

Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans

Proceedings of the 19th International Conference on Software Product Line, 2015

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.

Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Using fuzzy modeling for consistent definitions of product qualities in requirements.

Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher

Proceedings of the 2015 IEEE Second International Workshop on Artificial Intelligence for Requirements Engineering, 2015

State machine flattening, a mapping study and tools assessment.

Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.

Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Model Checking for the Masses.

Maxime Cordy

PhD thesis, 2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour.

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens

Sci. Comput. Program., 2014

State Machine Flattening: Mapping Study and Assessment.

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

CoRR, 2014

Towards statistical prioritization for software product lines testing.

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

An extensible platform for product-line behavioural analysis.

Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens

Proceedings of the 18th International Software Product Lines Conference, 2014

A variability perspective of mutation analysis.

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Coverage Criteria for Behavioural Testing of Software Product Lines.

Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Model Checking Adaptive Software with Featured Transition Systems.

Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.

Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin

IEEE Trans. Software Eng., 2013

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.

Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans

Requir. Eng., 2013

Verification for Reliable Product Lines.

Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay

CoRR, 2013

ProVeLines: a product line of verifiers for software product lines.

Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Efficient quality assurance of variability-intensive systems.

Patrick Heymans, Axel Legay, Maxime Cordy

Proceedings of the 35th International Conference on Software Engineering, 2013

Beyond boolean product-line model checking: dealing with feature attributes and multi-features.

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Proceedings of the 35th International Conference on Software Engineering, 2013

A framework for the rigorous design of highly adaptive timed systems.

Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Model checking software product lines with SNIP.

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens

Int. J. Softw. Tools Technol. Transf., 2012

Managing evolution in software product lines: a model-checking perspective.

Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Towards an incremental automata-based approach for software product-line model checking.

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Proceedings of the 16th International Software Product Line Conference, 2012

Behavioural modelling and verification of real-time software product lines.

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Proceedings of the 16th International Software Product Line Conference, 2012

Efficient consistency checking of scenario-based product-line specifications.

Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.

Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Simulation-based abstractions for software product-line model checking.

Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

QBD sensitivity analysis tool using discrete-event simulation and extension of <i>SMCSolver</i>.

Maxime Cordy, Marie-Ange Remiche

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011