Yves Le Traon

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 295

Top Venues

CoRR

Softw. Test. Verification Reliab.

ACM Trans. Softw. Eng. Methodol.

Empir. Softw. Eng.

Publications

Yves Le Traon, Tao Xie
Investigating fault injection techniques in hardware-based deep neural networks and mutation-based fault localization. Softw. Test. Verification Reliab. 34 (4) (2024)
Pantelis Dogoulis, Matthieu Jimenez, Salah Ghamizi, Maxime Cordy, Yves Le Traon
Robustness Analysis of AI Models in Critical Energy Systems. CoRR (2024)
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) (2024)
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) (2024)
Yves Le Traon, Tao Xie
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks. Softw. Test. Verification Reliab. 34 (2) (2024)
Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. ICSE (2024)
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) (2024)
Marcelo Luis Ruiz Rodríguez, Sylvain Kubler, Jérémy Robert, Yves Le Traon
Dynamic maintenance scheduling approach under uncertainty: Comparison between reinforcement learning, genetic algorithm simheuristic, dispatching rules. Expert Syst. Appl. 248 (2024)
Sai Sathiesh Rajan, Ezekiel O. Soremekun, Yves Le Traon, Sudipta Chattopadhyay
Distribution-aware fairness test generation. J. Syst. Softw. 215 (2024)
Yves Le Traon, Tao Xie
Test case prioritization and mutation testing. Softw. Test. Verification Reliab. 34 (1) (2024)
Yves Le Traon, Tao Xie
Test code evolution and mutation testing. Softw. Test. Verification Reliab. 34 (3) (2024)
Yinghua Li, Xueqi Dang, Lei Ma, Jacques Klein, Yves Le Traon, Tegawendé F. Bissyandé
Test Input Prioritization for 3D Point Clouds. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
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) (2024)
Yuejun Guo, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon
NN-based Performance Testing for Deep Code Search. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Kisub Kim, Sankalp Ghatpande, Dongsun Kim, Xin Zhou, Kui Liu, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
Big Code Search: A Bibliography. ACM Comput. Surv. 56 (1) (2024)
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 (2024)
Xueqi Dang, Yinghua Li, Mike Papadakis, Jacques Klein, Tegawendé F. Bissyandé, Yves Le Traon
GraphPrior: Mutation-based Test Input Prioritization for Graph Neural Networks. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Yves Le Traon, Tao Xie
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems. Softw. Test. Verification Reliab. 34 (5) (2024)
Haroon Elahi, Guojun Wang, Wenjun Jiang, Alexandre Bartel, Yves Le Traon
A Qualitative Study of App Acquisition and Management. IEEE Trans. Comput. Soc. Syst. 11 (2) (2024)
Xueqi Dang, Yinghua Li, Mike Papadakis, Jacques Klein, Tegawendé F. Bissyandé, Yves Le Traon
Test Input Prioritization for Machine Learning Classifiers. IEEE Trans. Software Eng. 50 (3) (2024)
Nima Nasiri, Saeed Zeynali, Sajad Najafi Ravadanegh, Sylvain Kubler, Yves Le Traon
Decentralized Privacy-Preserving Distributionally Robust Restoration of Electricity/Natural-Gas Systems Considering Coordination of Pump Storage Hydropower and Wind Farms. IEEE Access 12 (2024)
Joe Lorentz, Thomas Hartmann, Assaad Moawad, François Fouquet, Djamila Aouada, Yves Le Traon
CalcGraph: taming the high costs of deep learning using models. Softw. Syst. Model. 22 (4) (2023)
Renaud Rwemalika, Sarra Habchi, Mike Papadakis, Yves Le Traon, Marie-Claude Brasseur
Smells in system user interactive tests. Empir. Softw. Eng. 28 (1) (2023)
Yves Le Traon, Tao Xie
Model-based testing. Softw. Test. Verification Reliab. 33 (2) (2023)
Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
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 (2023)
Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. CoRR (2023)
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 (2023)
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)
Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Vulnerability Mimicking Mutants. CoRR (2023)
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 (2023)
Yves Le Traon, Tao Xie
Combinatorial testing and machine learning for automated test generation. Softw. Test. Verification Reliab. 33 (4) (2023)
Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Efficient Mutation Testing via Pre-Trained Language Models. CoRR (2023)
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)
Yves Le Traon, Tao Xie
Model-based testing, test case prioritization and testing of virtual reality applications. Softw. Test. Verification Reliab. 33 (8) (2023)
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 (2023)
Yves Le Traon, Tao Xie
Test infrastructure and environment. Softw. Test. Verification Reliab. 33 (3) (2023)
Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. ICML (2023)
Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
On Comparing Mutation Testing Tools through Learning-based Mutant Selection. AST (2023)
Salah Ghamizi, Maxime Cordy, Yuejun Guo, Mike Papadakis, Yves Le Traon
Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations. CoRR (2023)
Jie Zhang, Wei Ma, Qiang Hu, Shangqing Liu, Xiaofei Xie, Yves Le Traon, Yang Liu
A Black-Box Attack on Code Models via Representation Nearest Neighbor Search. EMNLP (Findings) (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
Enabling Efficient Assertion Inference. ISSRE (2023)
Yves Le Traon, Tao Xie
Deep neural network supervision and data flow testing. Softw. Test. Verification Reliab. 33 (6) (2023)
Sai Sathiesh Rajan, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Yves Le Traon
Poster: Distribution-aware Fairness Test Generation. ICSE Companion (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
Assertion Inferring Mutants. CoRR (2023)
Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon
Cerebro: Static Subsuming Mutant Selection. IEEE Trans. Software Eng. 49 (1) (2023)
Yves Le Traon, Tao Xie
In vivo testing and integration of proving and testing. Softw. Test. Verification Reliab. 33 (7) (2023)
Yves Le Traon, Tao Xie
Quality assurance for Internet of Things and speech recognition systems. Softw. Test. Verification Reliab. 33 (5) (2023)
Yves Le Traon
AI is a game-changing technology: how to test and robustify Machine-Learning software? ICST (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. FASE (2023)
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) (2023)
Yves Le Traon, Tao Xie
Fuzz testing for digital TV receivers and multitasking control software verification. Softw. Test. Verification Reliab. 33 (1) (2023)
Sylvain Kubler, Matthieu Renard, Sankalp Ghatpande, Jean-Philippe Georges, Yves Le Traon
Decision support system for blockchain (DLT) platform selection based on ITU recommendations: A systematic literature review approach. Expert Syst. Appl. 211 (2023)
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 (2023)
Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies. IEEE Trans. Software Eng. 49 (7) (2023)
Jie Zhang, Wei Ma, Qiang Hu, Xiaofei Xie, Yves Le Traon, Yang Liu
RNNS: Representation Nearest Neighbor Search Black-Box Attack on Code Models. CoRR (2023)
Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. ASE (2023)
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)
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)
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) (2023)
Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon
FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning. AST (2023)
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)
Sai Sathiesh Rajan, Ezekiel O. Soremekun, Yves Le Traon, Sudipta Chattopadhyay
Distribution-aware Fairness Test Generation. CoRR (2023)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
On Evaluating Adversarial Robustness of Chest X-ray Classification. SafeAI@AAAI (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. CoRR (2023)
Yuejun Guo, Seifeddine Bettaieb, Qiang Hu, Yves Le Traon, Qiang Tang
CodeLens: An Interactive Tool for Visualizing Code Representations. CoRR (2023)
Yuejun Guo, Qiang Hu, Qiang Tang, Yves Le Traon
An Empirical Study of the Imbalance Issue in Software Vulnerability Detection. ESORICS (4) (2023)
Milos Ojdanic, Ezekiel O. Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Martin Gubri, Maxime Cordy, Yves Le Traon
Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability. CoRR (2023)
Yves Le Traon, Tao Xie
Integration testing and metamorphic testing. Softw. Test. Verification Reliab. 32 (4) (2022)
Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon
Robust active learning: sample-efficient training of robust deep learning models. CAIN (2022)
Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon
Influence-driven data poisoning in graph-based semi-supervised classifiers. CAIN (2022)
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 (2022)
Arthur D. Sawadogo, Tegawendé F. Bissyandé, Naouel Moha, Kevin Allix, Jacques Klein, Li Li, Yves Le Traon
SSPCatcher: Learning to catch security patches. Empir. Softw. Eng. 27 (6) (2022)
Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. CoRR (2022)
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 (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. CoRR (2022)
Ahmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon
CodeBERT-nt: code naturalness via CodeBERT. CoRR (2022)
Ahmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon
CodeBERT-nt: Code Naturalness via CodeBERT. QRS (2022)
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 (2022)
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) (2022)
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 (2022)
Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. CoRR (2022)
Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon
Software Fairness: An Analysis and Survey. CoRR (2022)
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 (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
Efficient and transferable adversarial examples from bayesian neural networks. UAI (2022)
Yuejun Guo, Qiang Hu, Maxime Cordy, Xiaofei Xie, Mike Papadakis, Yves Le Traon
Labeling-Free Comparison Testing of Deep Learning Models. CoRR (2022)
Yves Le Traon, Tao Xie
Combinatorial testing and model checking. Softw. Test. Verification Reliab. 32 (6) (2022)
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
Enhancing Code Classification by Mixup-Based Data Augmentation. CoRR (2022)
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 (2022)
Salah Ghamizi, Maxime Cordy, Michail Papadakis, Yves Le Traon
On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices. CoRR (2022)
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) (2022)
Patrick Keller, Abdoul Kader Kaboré, Laura Plein, Jacques Klein, Yves Le Traon, Tegawendé F. Bissyandé
What You See is What it Means! Semantic Representation Learning of Code based on Visualization and Transfer Learning. ACM Trans. Softw. Eng. Methodol. 31 (2) (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. ECCV (4) (2022)
Badr Souani, Ahmed Khanfir, Alexandre Bartel, Kevin Allix, Yves Le Traon
Android Malware Detection Using BERT. ACNS Workshops (2022)
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)
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)
Kisub Kim, Sankalp Ghatpande, Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
DigBug - Pre/post-processing operator selection for accurate bug localization. J. Syst. Softw. 189 (2022)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. AAAI (2022)
Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon
Predicting Flaky Tests Categories using Few-Shot Learning. CoRR (2022)

Yves Le Traon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yves Le Traon