Maxime Cordy

Orcid: 0000-0001-8312-1358

According to our database1, Maxime Cordy authored at least 135 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
KAPE: <i>k</i>NN-based Performance Testing for Deep Code Search.
ACM Trans. Softw. Eng. Methodol., February, 2024

LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing.
ACM Trans. Softw. Eng. Methodol., January, 2024

Importance Guided Data Augmentation for Neural-Based Code Understanding.
CoRR, 2024

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

2023
iBiR: Bug-report-driven Fault Injection.
ACM Trans. Softw. Eng. Methodol., April, 2023

BURST: Benchmarking uniform random sampling techniques.
Sci. Comput. Program., March, 2023

DRE: density-based data selection with entropy for adversarial-robust deep learning models.
Neural Comput. Appl., February, 2023

MaLTeSQuE 2022 Workshop Summary.
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.
CoRR, 2023

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

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

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

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

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

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

Assertion Inferring Mutants.
CoRR, 2023

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation.
Proceedings of the IEEE International Conference on Software Analysis, 2023

Family-based model checking of fMultiLTL properties.
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.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Towards Strengthening Formal Specifications with Mutation Model Checking.
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.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Enabling Efficient Assertion Inference.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

CodeS: Towards Code Model Generalization Under Distribution Shift.
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.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks.
Proceedings of the International Conference on Machine Learning, 2023

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023

ACoRe: Automated Goal-Conflict Resolution.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment.
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.
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.
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.
ACM Trans. Softw. Eng. Methodol., 2022

Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines.
Robotics Comput. Integr. Manuf., 2022

A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty.
Int. Trans. Oper. Res., 2022

Learning from what we know: How to perform vulnerability prediction using noisy historical data.
Empir. Softw. Eng., 2022

Static detection of equivalent mutants in real-time model-based mutation testing.
Empir. Softw. Eng., 2022

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

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

Enhancing Code Classification by Mixup-Based Data Augmentation.
CoRR, 2022

Efficient Testing of Deep Neural Networks via Decision Boundary Analysis.
CoRR, 2022

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

Software Fairness: An Analysis and Survey.
CoRR, 2022

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

Labeling-Free Comparison Testing of Deep Learning Models.
CoRR, 2022

Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions.
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.
Proceedings of the Uncertainty in Artificial Intelligence, 2022

GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking.
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.
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.
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.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.
Proceedings of the Computer Vision - ECCV 2022, 2022

CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems.
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.
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.
Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

Adversarial Robustness in Multi-Task Learning: Promises and Illusions.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Test Selection for Deep Learning Systems.
ACM Trans. Softw. Eng. Methodol., 2021

Killing Stubborn Mutants with Symbolic Execution.
ACM Trans. Softw. Eng. Methodol., 2021

A Formal Framework of Software Product Line Analyses.
ACM Trans. Softw. Eng. Methodol., 2021

Statistical model checking for variability-intensive systems: applications to bug detection and minimization.
Formal Aspects Comput., 2021

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

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

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
CoRR, 2021

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

BURST: a benchmarking platform for uniform random sampling techniques.
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.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Towards Exploring the Limitations of Active Learning: An Empirical Study.
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.
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

2020
MALTESQUE 2019 Workshop Summary.
ACM SIGSOFT Softw. Eng. Notes, 2020

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

Effective and Efficient Data Poisoning in Semi-Supervised Learning.
CoRR, 2020

Efficient and Transferable Adversarial Examples from Bayesian Neural Networks.
CoRR, 2020

Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing.
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.
Proceedings of the 2020 IEEE International Conference on Communications, 2020

Search-based adversarial testing and improvement of constrained credit scoring systems.
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.
Proceedings of the Optimization and Learning - Third International Conference, 2020

Data-driven Simulation and Optimization for Covid-19 Exit Strategies.
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.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Verification and abstraction of real-time variability-intensive systems.
Int. J. Softw. Tools Technol. Transf., 2019

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

Adversarial Embedding: A robust and elusive Steganography and Watermarking technique.
CoRR, 2019

Automated Search for Configurations of Deep Neural Network Architectures.
CoRR, 2019

Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Automated search for configurations of convolutional neural network architectures.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Automated evaluation of embedded-system design alternatives.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Towards context-aware automated writing evaluation systems.
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.
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?
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Multifaceted automated analyses for variability-intensive embedded systems.
Proceedings of the 41st International Conference on Software Engineering, 2019

Towards sampling and simulation-based analysis of featured weighted automata.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

A Decade of Featured Transition Systems.
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.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Engineering configurators for the retail industry: experience report and challenges ahead.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices.
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.
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.
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.
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.
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.
Softw. Syst. Model., 2017

Testing Variability-Intensive Systems.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

On Featured Transition Systems.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering.
Proceedings of the Natural Language Processing and Information Systems, 2017

2016
Counterexample guided abstraction refinement of product-line behavioural models.
Proceedings of the Software Engineering 2016, 2016

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators.
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.
Proceedings of the 19th International Conference on Software Product Line, 2015

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
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.
Proceedings of the 2015 IEEE Second International Workshop on Artificial Intelligence for Requirements Engineering, 2015

State machine flattening, a mapping study and tools assessment.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014
Model Checking for the Masses.
PhD thesis, 2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour.
Sci. Comput. Program., 2014

State Machine Flattening: Mapping Study and Assessment.
CoRR, 2014

Towards statistical prioritization for software product lines testing.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

An extensible platform for product-line behavioural analysis.
Proceedings of the 18th International Software Product Lines Conference, 2014

A variability perspective of mutation analysis.
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.
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.
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.
IEEE Trans. Software Eng., 2013

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.
Requir. Eng., 2013

Verification for Reliable Product Lines.
CoRR, 2013

ProVeLines: a product line of verifiers for software product lines.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Efficient quality assurance of variability-intensive systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

Beyond boolean product-line model checking: dealing with feature attributes and multi-features.
Proceedings of the 35th International Conference on Software Engineering, 2013

A framework for the rigorous design of highly adaptive timed systems.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012
Model checking software product lines with SNIP.
Int. J. Softw. Tools Technol. Transf., 2012

Managing evolution in software product lines: a model-checking perspective.
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.
Proceedings of the 16th International Software Product Line Conference, 2012

Behavioural modelling and verification of real-time software product lines.
Proceedings of the 16th International Software Product Line Conference, 2012

Efficient consistency checking of scenario-based product-line specifications.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.
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.
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>.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011


  Loading...