Yves Le Traon - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Yves Le Traon' as author, editor, or advisor:

An In-depth Study of Java Deserialization Remote-Code Execution Exploits and VulnerabilitiesImen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon. TOSEM, 32(1), January 2023. [doi]
Guest Editorial: A Retrospective of Special Sections on Software Testing and Program AnalysisT. H. Tse, Yves Le Traon, Zhenyu Chen 0001. tr, 70(2):443-445, 2021. [doi]
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence AnalysesWei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon. msr 2022: 524-536 [doi]
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning EnhancementQiang Hu, Yuejun Guo 0001, Maxime Cordy, Xiaofei Xie, Lei Ma 0003, Mike Papadakis, Yves Le Traon. TOSEM, 31(4), 2022. [doi]
Reusable MDA Components: A Testing-for-Trust ApproachJean-Marie Mottu, Benoit Baudry, Yves Le Traon. MoDELS 2006: 589-603 [doi]
Le test et le diagnostic en vue de la m maintenance : des objets aux modélesYves Le Traon. cal 2006: 190
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy EstimationQiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma 0003, Yves Le Traon. ICSE 2023: 1776-1787 [doi]
Mitigating the effects of equivalent mutants with mutant classification strategiesMike Papadakis, Márcio Eduardo Delamaro, Yves Le Traon. SCP, 95:298-319, 2014. [doi]
API Document Quality for Resolving Deprecated APIsDeokyoon Ko, Kyeongwook Ma, Sooyong Park, Suntae Kim, Dongsun Kim, Yves Le Traon. apsec 2014: 27-30 [doi]
Proteum/FL: A tool for localizing faults using mutation analysisMike Papadakis, Márcio Eduardo Delamaro, Yves Le Traon. SCAM 2013: 94-99 [doi]
Bottom-up technologies for reuse: automated extractive adoption of software product linesJabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. ICSE 2017: 67-70 [doi]
VAST 2011 workshop summaryGilles Perrouin, Andreas Metzger, Patrick Heymans, Yves Le Traon. sigsoft, 36(4):24-25, 2011. [doi]
Testing Security Policies: Going Beyond Functional TestingYves Le Traon, Tejeddine Mouelhi, Benoit Baudry. issre 2007: 93-102 [doi]
Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machinesMarcelo Luis Ruiz Rodríguez, Sylvain Kubler, Andrea de Giorgio, Maxime Cordy, Jérémy Robert, Yves Le Traon. rcim, 78:102406, 2022. [doi]
DSCo-NG: A Practical Language Modeling Approach for Time Series ClassificationDaoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. ida 2016: 1-13 [doi]
Assessing the impact of attacks on OPC-UA applications in the Industry 4.0 eraJulien Polge, Jérémy Robert, Yves Le Traon. ccnc 2019: 1-6 [doi]
Under Pressure Benchmark for DDBMS AvailabilityAlessandro Gustavo Fior, Jorge Augusto Meira, Eduardo Cunha de Almeida, Ricardo Gonçalves Coelho, Marcos Didonet Del Fabro, Yves Le Traon. jidm, 4(3):266-278, 2013. [doi]
Poster: Distribution-aware Fairness Test GenerationSai Sathiesh Rajan, Ezekiel O. Soremekun, Sudipta Chattopadhyay 0001, Yves Le Traon. ICSE 2023: 322-323 [doi]
TRIDENT: A Three-Steps Strategy to Digitise an Industrial System for Stepping into Industry 4.0Paul-Lou Benedick, Jérémy Robert, Yves Le Traon. iecon 2019: 3037-3042 [doi]
Learning from what we know: How to perform vulnerability prediction using noisy historical dataAayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon. ese, 27(7):169, 2022. [doi]
Mutating DAC and MAC Security Policies: A Generic Metamodel Based ApproachTejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon. MoDELS 2008: [doi]
Revisiting the impact of common libraries for android-related investigationsLi Li 0029, Timothée Riom, Tegawendé F. Bissyandé, Haoyu Wang, Jacques Klein, Yves Le Traon. jss, 154:157-175, 2019. [doi]
Musti: Dynamic Prevention of Invalid Object Initialization AttacksAlexandre Bartel, Jacques Klein, Yves Le Traon. tifs, 14(8):2167-2178, 2019. [doi]
Validity fuzzing and parametric generators for effective random testingRohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon. ICSE 2019: 266-267 [doi]
Accessing Inaccessible Android APIs: An Empirical StudyLi Li 0029, Tegawendé F. Bissyandé, Yves Le Traon, Jacques Klein. ICSM 2016: 411-422 [doi]
A Tridimensional Approach for Studying the Formal Verification of Model TransformationsMoussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy. icst 2012: 921-928 [doi]
Effective fault localization via mutation analysis: a selective mutation approachMike Papadakis, Yves Le Traon. SAC 2014: 1293-1300 [doi]
The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain ModelingThomas Hartmann 0001, Assaad Moawad, François Fouquet, Yves Le Traon. MoDELS 2017: 180 [doi]
Analyzing Complex Data in Motion at Scale with Temporal GraphsThomas Hartmann 0001, François Fouquet, Matthieu Jimenez, Romain Rouvoy, Yves Le Traon. seke 2017: 596-601 [doi]
FaCoY: a code-to-code search engineKisub Kim, Dongsun Kim, Tegawendé F. Bissyandé, Eunjong Choi, Li Li 0029, Jacques Klein, Yves Le Traon. ICSE 2018: 946-957 [doi]
A training-resistant anomaly detection systemSteve Muller, Jean Lancrenon, Carlo Harpes, Yves Le Traon, Sylvain Gombault, Jean-Marie Bonnin. compsec, 76:1-11, 2018. [doi]
UAV degradation identification for pilot notification using machine learning techniquesAnush Manukyan, Miguel A. Olivares-Méndez, Tegawendé F. Bissyandé, Holger Voos, Yves Le Traon. etfa 2016: 1-8 [doi]
Mutant Quality IndicatorsMike Papadakis, Thierry Titcheu Chekam, Yves Le Traon. icst 2018: 32-39 [doi]
Large-scale machine learning-based malware detection: confronting the "10-fold cross validation" scheme with realityKevin Allix, Tegawendé F. Bissyandé, Quentin Jérome, Jacques Klein, Radu State, Yves Le Traon. codaspy 2014: 163-166 [doi]
LOVBench: Ontology Ranking BenchmarkNiklas Kolbe, Pierre-Yves Vandenbussche, Sylvain Kubler, Yves Le Traon. WWW 2020: 1750-1760 [doi]
Conviviality-driven access control policyDonia El Kateb, Nicola Zannone, Assaad Moawad, Patrice Caire, Grégory Nain, Tejeddine Mouelhi, Yves Le Traon. re, 20(4):363-382, 2015. [doi]
The next evolution of MDE: a seamless integration of machine learning into domain modelingThomas Hartmann 0001, Assaad Moawad, François Fouquet, Yves Le Traon. SoSyM, 18(2):1285-1304, 2019. [doi]
Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with SootAlexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus. PLDI 2012: 27-38 [doi]
Decision Support Model for Time Series Data Augmentation Method SelectionDorian Joubaud, Sylvain Kubler, Raoni Lourenço, Maxime Cordy, Yves Le Traon. access, 12:196553-196566, 2024. [doi]
Robust active learning: sample-efficient training of robust deep learning modelsYuejun Guo 0001, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon. cain 2022: 41-42 [doi]
Stress Testing of Transactional Database SystemsJorge Augusto Meira, Eduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. jidm, 4(3):279-294, 2013. [doi]
Towards Understanding Model Quantization for Reliable Deep Neural Network DeploymentQiang Hu, Yuejun Guo 0001, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon. cain 2023: 56-67 [doi]
Coverage-Based Test Cases Selection for XACML PoliciesAntonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi. icst 2014: 12-21 [doi]
Model-Driven Engineering for Requirements AnalysisBenoit Baudry, Clémentine Nebut, Yves Le Traon. edoc 2007: 459-466 [doi]
A Rule-Based Contextual Reasoning Platform for Ambient Intelligence EnvironmentsAssaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain, Yves Le Traon. ruleml 2013: 158-172 [doi]
Towards Exploring the Limitations of Active Learning: An Empirical StudyQiang Hu, Yuejun Guo 0003, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon. ASE 2021: 917-929 [doi]
Search-based adversarial testing and improvement of constrained credit scoring systemsSalah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boystov, Yves Le Traon, Anne Goujon. FSE 2020: 1089-1100 [doi]
Towards a unified approach to the testability of co-designed systemsYves Le Traon, Chantal Robach. issre 1995: 278-285 [doi]
Killing Stubborn Mutants with Symbolic ExecutionThierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon. TOSEM, 30(2), 2021. [doi]
Mining families of android applications for extractive SPL adoptionLi Li 0029, Jabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. SPLC 2016: 271-275 [doi]
Analyzing Testability on Data Flow DesignsYves Le Traon, Farid Ouabdesselam, Chantal Robach. issre 2000: 162-173 [doi]
Preventing data leakage in service orchestrationThomas Demongeot, Eric Totel, Yves Le Traon. IEEEias 2011: 122-127 [doi]
Big Code Search: A BibliographyKisub Kim, Sankalp Ghatpande, Dongsun Kim 0001, Xin Zhou, Kui Liu 0001, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. ACM Comput. Surv., 56(1), January 2024. [doi]
Are mutants really natural?: a study on how "naturalness" helps mutant selectionMatthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman. esem 2018: [doi]
Boosting source code learning with text-oriented data augmentation: an empirical studyZeming Dong, Qiang Hu, Yuejun Guo 0001, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao 0001. ese, 30(3):68, June 2025. [doi]
Advances in Model-Driven SecurityLevi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon. ac, 93:103-152, 2014. [doi]
Model-Based Testing of ObligationsIram Rubab, Shaukat Ali, Lionel C. Briand, Yves Le Traon. qsic 2014: 1-10 [doi]
Optimizing Multi-objective Evolutionary Algorithms to Enable Quality-Aware Software ProvisioningDonia El Kateb, François Fouquet, Johann Bourcier, Yves Le Traon. qsic 2014: 85-94 [doi]
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security PoliciesYehia Elrakaiby, Moussa Amrani, Yves Le Traon. ESSoS 2014: 19-34 [doi]
EA4UP: An Enterprise Architecture-Assisted Telecom Service Development MethodJacques Simonin, Francis Alizon, Jean-Pierre Deschrevel, Yves Le Traon, Jean-Marc Jézéquel, Bertrand Nicolas. edoc 2008: 279-285 [doi]
Automated and Scalable T-wise Test Case Generation Strategies for Software Product LinesGilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon. icst 2010: 459-468 [doi]
Efficient and transferable adversarial examples from bayesian neural networksMartin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen. uai 2022: 738-748 [doi]
Test Selection for Deep Learning SystemsWei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon. TOSEM, 30(2), 2021. [doi]
Watch out for this commit! A study of influential software changesDaoyuan Li, Li Li 0029, Dongsun Kim 0001, Tegawendé F. Bissyandé, David Lo 0001, Yves Le Traon. SMR, 31(12), 2019. [doi]
O-MI/O-DF standards as interoperability enablers for Industrial Internet: A performance analysisJérémy Robert, Sylvain Kubler, Yves Le Traon, Kary Främling. iecon 2016: 4908-4915 [doi]
CodeS: Towards Code Model Generalization Under Distribution ShiftQiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma 0003, Yves Le Traon. ICSE 2023: 1-6 [doi]
Cerebro: Static Subsuming Mutant SelectionAayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon. TSE, 49(1):24-43, 2023. [doi]
A Native Versioning Concept to Support Historized Models at RuntimeThomas Hartmann 0001, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, Olivier Barais, Yves Le Traon. MoDELS 2014: 252-268 [doi]
On the Evolution of Keyword-Driven Test SuitesRenaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach. icst 2019: 335-345 [doi]
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial AttackQiang Hu, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Yves Le Traon. ASE 2023: 1708-1712 [doi]
Detecting Trivial Mutant Equivalences via Compiler OptimisationsMarinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, Mark Harman. TSE, 44(4):308-333, 2018. [doi]
Understanding Android app piggybackingLi Li 0029, Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, David Lo, Lorenzo Cavallaro. ICSE 2017: 359-361 [doi]
Privacy challenges in Ambient Intelligence systemsPatrice Caire, Assaad Moawad, Vasilis Efthymiou, Antonis Bikakis, Yves Le Traon. jaise, 8(6):619-644, 2016. [doi]
Model-Based Testing for the CloudAntonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David Rosenblum, Jan Tretmans. Dagstuhl 2010: [doi]
In vivo testing and integration of proving and testingYves Le Traon, Tao Xie 0001. stvr, 33(7), November 2023. [doi]
Model-based time-distorted Contexts for efficient temporal ReasoningThomas Hartmann 0001, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, Yves Le Traon. seke 2014: 746-747
AI is a game-changing technology: how to test and robustify Machine-Learning software?Yves Le Traon. icst 2023: 12 [doi]
Data-driven Simulation and Optimization for Covid-19 Exit StrategiesSalah Ghamizi, Renaud Rwemalika, Maxime Cordy, Lisa Veiber, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon. kdd 2020: 3434-3442 [doi]
On the effectiveness of hybrid pooling in mixup-based graph learning for language processingZeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao 0001. jss, 216:112139, 2024. [doi]
Threats to the validity of mutation-based test assessmentMike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon. ISSTA 2016: 354-365 [doi]
What You See is What it Means! Semantic Representation Learning of Code based on Visualization and Transfer LearningPatrick Keller, Abdoul Kader Kaboré, Laura Plein, Jacques Klein, Yves Le Traon, Tegawendé F. Bissyandé. TOSEM, 31(2), 2022. [doi]
Automating the Extraction of Model-Based Software Product Lines from Model Variants (T)Jabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. ASE 2015: 396-406 [doi]
On Comparing Mutation Testing Tools through Learning-based Mutant SelectionMilos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon. AST 2023: 35-46 [doi]
Keynote - Model-driven Analytics with Models@run.time: The Case of Cyber-Physical-SystemsYves Le Traon. MoDELS 2015: 4-5 [doi]
Multi-objective test generation for software product linesChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon. SPLC 2013: 62-71 [doi]
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning To Adversarial Attacks Into A Real-world ApplicationSalah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon. iccvw 2021: 31-40 [doi]
Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET ComponentBenoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon. ASE 2002: 253-256 [doi]
AndroZoo: collecting millions of Android apps for the research communityKevin Allix, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. msr 2016: 468-471 [doi]
DSCo: A Language Modeling Approach for Time Series ClassificationDaoyuan Li, Li Li 0029, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. mldm 2016: 294-310 [doi]
Decentralized Privacy-Preserving Distributionally Robust Restoration of Electricity/Natural-Gas Systems Considering Coordination of Pump Storage Hydropower and Wind FarmsNima Nasiri, Saeed Zeynali, Sajad Najafi Ravadanegh, Sylvain Kubler, Yves Le Traon. access, 12:13747-13762, 2024. [doi]
Efficient object-oriented integration and regression testingYves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Pierre Morel. tr, 49(1):12-25, 2000. [doi]
Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code EvolutionMilos Ojdanic, Ezekiel O. Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon. TOSEM, 32(1), January 2023. [doi]
A Unified Framework for Adversarial Attack and Defense in Constrained Feature SpaceThibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon. IJCAI 2022: 1313-1319 [doi]
Towards flexible evolution of Dynamically Adaptive SystemsGilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel. ICSE 2012: 1353-1356 [doi]
Considering Test Economics in the Process of Hardware/Software PartitioningGhassan Al Hayek, Yves Le Traon, Chantal Robach. euromicro 1996: 28 [doi]
A Black-Box Attack on Code Models via Representation Nearest Neighbor SearchJie Zhang, Wei Ma, Qiang Hu, Shangqing Liu, Xiaofei Xie, Yves Le Traon, Yang Liu. emnlp 2023: 9706-9716 [doi]
Testability Analysis of a UML Class DiagramBenoit Baudry, Yves Le Traon, Gerson Sunyé. metrics 2002: 54 [doi]
Towards Exploring the Limitations of Test Selection Techniques on Graph Neural Networks: An Empirical StudyXueqi Dang, Yinghua Li, Wei Ma, Yuejun Guo 0001, Qiang Hu, Mike Papadakis, Maxime Cordy, Yves Le Traon. ese, 29(5):112, September 2024. [doi]
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel. PLDI 2014: 29 [doi]
An approach for testing pointcut descriptors in AspectJRomain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon. stvr, 21(3):215-239, 2011. [doi]
Enabling Efficient Assertion InferenceAayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon. issre 2023: 623-634 [doi]
An Industrial Study on the Differences between Pre-Release and Post-Release BugsRenaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach. ICSM 2019: 92-102 [doi]
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarquésPhilippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry. tsi, 31(6):797-826, 2012. [doi]
GraphPrior: Mutation-based Test Input Prioritization for Graph Neural NetworksXueqi Dang, Yinghua Li, Mike Papadakis, Jacques Klein, Tegawendé F. Bissyandé, Yves Le Traon. TOSEM, 33(1), January 2024. [doi]
Learning to spot and refactor inconsistent method namesKui Liu, Dongsun Kim 0001, Tegawendé F. Bissyandé, Tae-young Kim, Kisub Kim, Anil Koyuncu, Suntae Kim, Yves Le Traon. ICSE 2019: 1-12 [doi]
SoSPa: A system of Security design Patterns for systematically engineering secure systemsPhu Hong Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, Yves Le Traon. MoDELS 2015: 246-255 [doi]
The Importance of Accounting for Execution Failures when Predicting Test FlakinessGuillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis, Maxime Cordy, Yves Le Traon. ASE 2024: 1979-1989 [doi]
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary TasksSalah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon. icml 2023: 11255-11282 [doi]
Model-Driven Security with A System of Aspect-Oriented Security Design PatternsPhu Hong Nguyen, Jacques Klein, Yves Le Traon. staf 2014: 51-54 [doi]
Tailored Shielding and Bypass Testing of Web ApplicationsTejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault. icst 2011: 210-219 [doi]
A Closer Look at Real-World PatchesKui Liu, Dongsun Kim 0001, Anil Koyuncu, Li Li 0029, Tegawendé F. Bissyandé, Yves Le Traon. ICSM 2018: 275-286 [doi]
Towards a generic framework for automating extensive analysis of Android applicationsLi Li 0029, Daoyuan Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. SAC 2016: 1460-1465 [doi]
Measuring and Improving Design Patterns TestabilityBenoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel. metrics 2003: 50 [doi]
Pairwise testing for software product lines: comparison of two approachesGilles Perrouin, Sebastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon. sqj, 20(3-4):605-643, 2012. [doi]
[Engineering Paper] Enabling the Continuous Analysis of Security Vulnerabilities with VulData7Matthieu Jimenez, Yves Le Traon, Mike Papadakis. SCAM 2018: 56-61 [doi]
Open Data Portal Quality Comparison using AHPSylvain Kubler, Jérémy Robert, Yves Le Traon, Jürgen Umbrich, Sebastian Neumaier. DG.O 2016: 397-407 [doi]
Assessing and Improving the Mutation Testing Practice of PITThomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque. icst 2017: 430-435 [doi]
Model Driven Mutation Applied to Adaptative Systems TestingAlexandre Bartel, Benoit Baudry, Freddy Munoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon. icst 2011: 408-413 [doi]
A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java ApplicationsYehia Elrakaiby, Yves Le Traon. IEEEares 2013: 367-374 [doi]
Chapter Six - Mutation Testing Advances: An Analysis and SurveyMike Papadakis, Marinos Kintis, Jie Zhang 0050, Yue Jia 0001, Yves Le Traon, Mark Harman. ac, 112:275-378, 2019. [doi]
Towards an automatic diagnosis for high-level design validationMaisaa Khalil, Yves Le Traon, Chantal Robach. itc 1998: 1010 [doi]
Automatically Locating Malicious Packages in Piggybacked Android AppsLi Li 0029, Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Haipeng Cai, David Lo, Yves Le Traon. ICSE 2017: 170-174 [doi]
Inquiring the usage of aspect-oriented programming: An empirical studyFreddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon. ICSM 2009: 137-146 [doi]
MixCode: Enhancing Code Classification by Mixup-Based Data AugmentationZeming Dong, Qiang Hu, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao 0001. WCRE 2023: 379-390 [doi]
A Forensic Analysis of Android Malware - How is Malware Written and How it Could Be Detected?Kevin Allix, Quentin Jérome, Tegawendé F. Bissyandé, Jacques Klein, Radu State, Yves Le Traon. compsac 2014: 384-393 [doi]
Inroads in Testing Access ControlTejeddine Mouelhi, Donia El Kateb, Yves Le Traon. ac, 99:195-222, 2015. [doi]
Empirical assessment of machine learning-based malware detectors for Android - Measuring the gap between in-the-lab and in-the-wild validation scenariosKevin Allix, Tegawendé F. Bissyandé, Quentin Jérome, Jacques Klein, Radu State, Yves Le Traon. ese, 21(1):183-211, 2016. [doi]
Automated Requirements-based Generation of Test Cases for Product FamiliesClémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel. ASE 2003: 263-266 [doi]
Continuous Identification in Smart Environments Using Wrist-Worn Inertial SensorsAlejandro Sánchez Guinea, Andrey Boytsov, Ludovic Mouline, Yves Le Traon. mobiquitous 2018: 87-96 [doi]
Unsafe code detection in Rust and metamorphic testing of autonomous driving systemsYves Le Traon, Tao Xie 0001. stvr, 34(5), August 2024. [doi]
A state machine for database non-functional testingJorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon. ideas 2014: 378-379 [doi]
Regression test selection when evolving software with aspectsRomain Delamare, Benoit Baudry, Yves Le Traon. AOSD 2008: 7 [doi]
Detecting Privacy Leaks in Android AppsLi Li, Alexandre Bartel, Jacques Klein, Yves Le Traon. ESSoS 2014: [doi]
BlockPerf: A Hybrid Blockchain Emulator/Simulator FrameworkJulien Polge, Sankalp Ghatpande, Sylvain Kubler, Jérémy Robert, Yves Le Traon. access, 9:107858-107872, 2021. [doi]
CodeBERT-nt: Code Naturalness via CodeBERTAhmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon. qrs 2022: 936-947 [doi]
Design by Contract to Improve Software VigilanceYves Le Traon, Benoit Baudry, Jean-Marc Jézéquel. TSE, 32(8):571-586, 2006. [doi]
Profiling household appliance electricity usage with N-gram language modelingDaoyuan Li, Tegawendé F. Bissyandé, Sylvain Kubler, Jacques Klein, Yves Le Traon. icit2 2016: 604-609 [doi]
O-MI/O-DF vs. MQTT: A performance analysisPaul-Lou Benedick, Jérémy Robert, Yves Le Traon, Sylvain Kubler. icphys 2018: 153-158 [doi]
Reactive Security for Smart Grids Using Models@run.time-Based Simulation and ReasoningThomas Hartmann 0001, François Fouquet, Jacques Klein, Grégory Nain, Yves Le Traon. smartgridsec 2014: 139-153 [doi]
Assessing transition-based test selection algorithms at GoogleClaire Leong, Abhayendra Singh, Mike Papadakis, Yves Le Traon, John Micco. ICSE 2019: 101-110 [doi]
Runtime verification of declassification for imperative programs: Formal foundationsThomas Demongeot, Julien Mallet, Yves Le Traon. crisis 2009: 43-50 [doi]
Selection of regression system tests for security policy evolutionJeeHyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon. ASE 2012: 266-269 [doi]
Identifying and Visualising Commonality and Variability in Model VariantsJabier Martinez, Tewfik Ziadi, Jacques Klein, Yves Le Traon. ECMDA-FA 2014: 117-131 [doi]
Comparing white-box and black-box test prioritizationChristopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon. ICSE 2016: 523-534 [doi]
iBiR: Bug-report-driven Fault InjectionAhmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. TOSEM, 32(2), April 2023. [doi]
A Systematic Approach for Evaluating Artificial Intelligence Models in Industrial SettingsPaul-Lou Benedick, Jérémy Robert, Yves Le Traon. sensors, 21(18):6195, 2021. [doi]
Similarity testing for access controlAntonia Bertolino, Said Daoudagh, Donia El Kateb, Christopher Henard, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi, Mike Papadakis. INFSOF, 58:355-372, 2015. [doi]
Time Series Classification with Discrete Wavelet Transformed DataDaoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. ijseke, 26(9-10):1361-1378, 2016. [doi]
PLEDGE: a product line editor and test generation toolChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon. SPLC 2013: 126-129 [doi]
GreyCat: Efficient what-if analytics for data in motion at scaleThomas Hartmann 0001, François Fouquet, Assaad Moawad, Romain Rouvoy, Yves Le Traon. is, 83:101-117, 2019. [doi]
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection TechniqueMike Papadakis, Yue Jia, Mark Harman, Yves Le Traon. ICSE 2015: 936-946 [doi]
Formal Verification Techniques for Model Transformations: A Tridimensional ClassificationMoussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy. jot, 14(3), 2015. [doi]
Building Lifecycle Management System for Enhanced Closed Loop CollaborationSylvain Kubler, Andrea Buda, Jérémy Robert, Kary Främling, Yves Le Traon. ifip5-1 2016: 423-432 [doi]
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing AndroidAlexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon. TSE, 40(6):617-632, 2014. [doi]
Test case prioritization and mutation testingYves Le Traon, Tao Xie 0001. stvr, 34(1), January 2024. [doi]
Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in RequirementsErwan Brottier, Yves Le Traon, Bertrand Nicolas. SC 2010: 1-16 [doi]
Cloud Providers Viability: How to Address it from an IT and Legal Perspective?Cesare Bartolini, Donia El Kateb, Yves Le Traon, David Hagen. gecon 2016: 281-295 [doi]
A Systematic Review of Model-Driven SecurityPhu Hong Nguyen, Jacques Klein, Yves Le Traon, Max E. Kramer. apsec 2013: 432-441 [doi]
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction TestingMike Papadakis, Christopher Henard, Yves Le Traon. icst 2014: 1-10 [doi]
Enriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning ComponentsNiklas Kolbe, Arkady B. Zaslavsky, Sylvain Kubler, Jérémy Robert, Yves Le Traon. context 2017: 41-54 [doi]
Refactoring UML ModelsGerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel. uml 2001: 134-148 [doi]
Verifying Access Control in StatechartsLevi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon. eceasst, 50, 2011. [doi]
Model-based testing, test case prioritization and testing of virtual reality applicationsYves Le Traon, Tao Xie 0001. stvr, 33(8), December 2023. [doi]
Peer-to-Peer Load TestingJorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé. icst 2012: 642-647 [doi]
FeatureNET: diversity-driven generation of deep learning modelsSalah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon. ICSE 2020: 41-44 [doi]
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization ApproachNikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon. ola 2020: 269-281 [doi]
Got issues? Who cares about it? A large scale investigation of issue trackers from GitHubTegawendé F. Bissyandé, David Lo, Lingxiao Jiang, Laurent Réveillère, Jacques Klein, Yves Le Traon. issre 2013: 188-197 [doi]
A Model-Based Framework for Security Policy Specification, Deployment and TestingTejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon. MoDELS 2008: 537-552 [doi]
Sensing by proxy in buildings with agglomerative clustering of indoor temperature movementsDaoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. SAC 2017: 477-484 [doi]
Metamorphic Testing and Web Element LocalizationYves Le Traon, Tao Xie 0001. stvr, 34(7), November 2024. [doi]
Time Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical StudyDaoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. seke 2016: 273-278 [doi]
Mutation-Based Generation of Software Product Line Test ConfigurationsChristopher Henard, Mike Papadakis, Yves Le Traon. ssbse 2014: 92-106 [doi]
iFixR: bug report driven program repairAnil Koyuncu, Kui Liu, Tegawendé F. Bissyandé, Dongsun Kim 0001, Martin Monperrus, Jacques Klein, Yves Le Traon. FSE 2019: 314-325 [doi]
kNN-based Performance Testing for Deep Code SearchYuejun Guo 0001, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon. TOSEM, 33(2), February 2024. [doi]
Are Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware DetectionKevin Allix, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. ESSoS 2015: 51-67 [doi]
Raising Time Awareness in Model-Driven Engineering: Vision PaperAmine Benelallam, Thomas Hartmann 0001, Ludovic Mouline, François Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon. MoDELS 2017: 181-188 [doi]
Weaving Rules into Models@run.time for Embedded Smart SystemsLudovic Mouline, Thomas Hartmann 0001, François Fouquet, Yves Le Traon, Johann Bourcier, Olivier Barais. Programming 2017: [doi]
Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing StudiesMilos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon. TSE, 49(7):3922-3938, July 2023. [doi]
Augmenting and structuring user queries to support efficient free-form code searchRaphael Sirres, Tegawendé F. Bissyandé, Dongsun Kim 0001, David Lo 0001, Jacques Klein, Kisub Kim, Yves Le Traon. ese, 23(5):2622-2654, 2018. [doi]
Popularity-Driven Ontology Ranking Using Qualitative FeaturesNiklas Kolbe, Sylvain Kubler, Yves Le Traon. semweb 2019: 329-346 [doi]
Model-Based Tests for Access Control PoliciesAlexander Pretschner, Tejeddine Mouelhi, Yves Le Traon. icst 2008: 338-347 [doi]
LaF: Labeling-free Model Selection for Automated Deep Neural Network ReusingQiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon. TOSEM, 33(1), January 2024. [doi]
Test-Driven Assessment of Access Control in Legacy ApplicationsYves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry. icst 2008: 238-247 [doi]
On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J DatasetAayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon. icst 2024: 305-316 [doi]
Micro-billing Framework for IoT: Research & Technological FoundationsJérémy Robert, Sylvain Kubler, Yves Le Traon. ficloud 2016: 301-308 [doi]
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity TestingChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon. icst 2013: 188-197 [doi]
Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: An Urgent Need for Systematic Security Regression TestingErwan Abgrall, Yves Le Traon, Sylvain Gombault, Martin Monperrus. icst 2014: 34-41 [doi]
FixMiner: Mining relevant fix patterns for automated program repairAnil Koyuncu, Kui Liu 0001, Tegawendé F. Bissyandé, Dongsun Kim 0001, Jacques Klein, Martin Monperrus, Yves Le Traon. ese, 25(3):1980-2024, 2020. [doi]
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networksYves Le Traon, Tao Xie 0001. stvr, 34(2), March 2024. [doi]
Dynamic maintenance scheduling approach under uncertainty: Comparison between reinforcement learning, genetic algorithm simheuristic, dispatching rulesMarcelo Luis Ruiz Rodríguez, Sylvain Kubler, Jérémy Robert, Yves Le Traon. eswa, 248:123404, 2024. [doi]
Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion VulnerabilitiesWilliam Bonnaventure, Ahmed Khanfir, Alexandre Bartel, Mike Papadakis, Yves Le Traon. qrs 2021: 586-597 [doi]
ApkCombiner: Combining Multiple Android Apps to Support Inter-App AnalysisLi Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. isecs 2015: 513-527 [doi]
Mutation Analysis Testing for Model TransformationsJean-Marie Mottu, Benoit Baudry, Yves Le Traon. ECMDA-FA 2006: 376-390 [doi]
Business and Information System Alignment: A Formal Solution for Telecom ServicesJacques Simonin, Emmanuel Bertin, Yves Le Traon, Jean-Marc Jézéquel, Noël Crespi. icsea 2010: 278-283 [doi]
Strong mutation-based test data generation using hill climbingFrancisco Carlos M. Souza, Mike Papadakis, Yves Le Traon, Márcio Eduardo Delamaro. ICSE 2016: 45-54 [doi]
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test CasesRomain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon. pts 2010: 250-265 [doi]
Adversarial Robustness in Multi-Task Learning: Promises and IllusionsSalah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon. AAAI 2022: 697-705 [doi]
Efficient Distributed Test Architectures for Large-Scale SystemsEduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. pts 2010: 174-187 [doi]
From diagnosis to diagnosability: axiomatization, measurement and applicationYves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry. jss, 65(1):31-50, 2003. [doi]
System Test Synthesis from UML Models of Distributed SoftwareSimon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec. forte 2002: 97-113 [doi]
Static analysis of android apps: A systematic literature reviewLi Li 0029, Tegawendé F. Bissyandé, Mike Papadakis, Siegfried Rasthofer, Alexandre Bartel, Damien Octeau, Jacques Klein, Yves Le Traon. INFSOF, 88:67-95, 2017. [doi]
Efficiently computing the likelihoods of cyclically interdependent risk scenariosSteve Muller, Carlo Harpes, Yves Le Traon, Sylvain Gombault, Jean-Marie Bonnin. compsec, 64:59-68, 2017. [doi]
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product LinesChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon. TSE, 40(7):650-670, 2014. [doi]
A Requirement-Based Approach to Test Product FamiliesClémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. pfe 2004: 198-210 [doi]
Augmenting and structuring user queries to support efficient free-form code searchRaphael Sirres, Tegawendé F. Bissyandé, Dongsun Kim, David Lo, Jacques Klein, Kisub Kim, Yves Le Traon. ICSE 2018: 945 [doi]
Automatic Test Case Optimization: A Bacteriologic AlgorithmBenoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon. IEEE Software, 22(2):76-82, 2005. [doi]
Knowledge-based consistency index for fuzzy pairwise comparison matricesSylvain Kubler, William Derigent, Alexandre Voisin, Jérémy Robert, Yves Le Traon. fuzzIEEE 2017: 1-7 [doi]
Smells in system user interactive testsRenaud Rwemalika, Sarra Habchi, Mike Papadakis, Yves Le Traon, Marie-Claude Brasseur. ese, 28(1):20, 2023. [doi]
On the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android MalwareMédéric Hurier, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. dimva 2016: 142-162 [doi]
On the Impact of Industrial Delays when Mitigating Distribution Drifts: An Empirical Study on Real-World Financial SystemsThibault Simonetto, Maxime Cordy, Salah Ghamizi, Yves Le Traon, Clément Lefebvre, Andrey Boystov, Anne Goujon. delta3 2025: 57-73 [doi]
Testability Measurements for Data Flow DesignsYves Le Traon, Chantal Robach. metrics 1997: 91-98 [doi]
Test d intégration d un système à objets - planification de l ordre d intégrationYves Le Traon, Benoit Baudry. lmo 2006: 217-230
On Evaluating Adversarial Robustness of Chest X-ray ClassificationSalah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon. AAAI 2023: [doi]
Access control enforcement testingDonia El Kateb, Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon. ICSE 2013: 64-70 [doi]
Bottom-Up Technologies for Reuse: A Framework to Support Extractive Software Product Line Adoption ActivitiesJabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. In Roberto E. Lopez-Herrejon, Jabier Martinez, Wesley Klewerton Guez Assunção, Tewfik Ziadi, Mathieu Acher, Silvia Vergilio, editors, Handbook of Re-Engineering Software Intensive Systems into Software Product Lines. pages 355-377, Springer International Publishing, 2023. [doi]
Ukwikora: continuous inspection for keyword-driven testingRenaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach. ISSTA 2019: 402-405 [doi]
ACoRe: Automated Goal-Conflict ResolutionLuiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis. FASE 2023: 3-25 [doi]
Composing Models for Detecting Inconsistencies: A Requirements Engineering PerspectiveGilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon. refsq 2009: 89-103 [doi]
"Overloaded!" - A Model-Based Approach to Database Stress TestingJorge Augusto Meira, Eduardo Cunha de Almeida, Dongsun Kim, Edson Ramiro Lucas Filho, Yves Le Traon. DEXA 2016: 207-222 [doi]
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky TestsSarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon. icst 2022: 244-255 [doi]
Testing peer-to-peer systemsEduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. ese, 15(4):346-379, 2010. [doi]
Model-driven adaptive delegationPhu Hong Nguyen, Grégory Nain, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon. In AOSD. 2013: 61-72 [doi]
From Testing to Diagnosis: An Automated ApproachFranck Fleurey, Yves Le Traon, Benoit Baudry. jckbse 2004: 306-309 [doi]
FlakyCat: Predicting Flaky Tests Categories using Few-Shot LearningAmal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon. AST 2023: 140-151 [doi]
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumptionThierry Titcheu Chekam, Mike Papadakis, Yves Le Traon, Mark Harman. ICSE 2017: 597-608 [doi]
Deep neural network supervision and data flow testingYves Le Traon, Tao Xie 0001. stvr, 33(6), September 2023. [doi]
Selecting fault revealing mutantsThierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen. ese, 25(1):434-487, 2020. [doi]
Dynamic Risk Analyses and Dependency-Aware Root Cause Model for Critical InfrastructuresSteve Muller, Carlo Harpes, Yves Le Traon, Sylvain Gombault, Jean-Marie Bonnin, Paul Hoffmann. critis 2017: 163-175 [doi]
Testing Peers VolatilityEduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. ASE 2008: 419-422 [doi]
Construction de tests qualifiés de transformations de modèlesJean-Marie Mottu, Benoit Baudry, Yves Le Traon. tsi, 29(4-5):537-569, 2010. [doi]
Automated Functional Test Case Synthesis from THALES industrial RequirementsDavid Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut. rtas 2004: 104-111 [doi]
On Locating Malicious Code in Piggybacked Android AppsLi Li 0029, Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Haipeng Cai, David Lo, Yves Le Traon. jcst, 32(6):1108-1124, 2017. [doi]
Bench4BL: reproducibility study on the performance of IR-based bug localizationJaekwon Lee, Dongsun Kim 0001, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon. ISSTA 2018: 61-72 [doi]
Linked Vocabulary Recommendation Tools for Internet of Things: A SurveyNiklas Kolbe, Sylvain Kubler, Jérémy Robert, Yves Le Traon, Arkady B. Zaslavsky. ACM Comput. Surv., 51(6), 2019. [doi]
Tools for Conviviality in Multi-Context SystemsAntonis Bikakis, Patrice Caire, Yves Le Traon. flap, 1(1):95-114, 2014. [doi]
Test code evolution and mutation testingYves Le Traon, Tao Xie 0001. stvr, 34(3), May 2024. [doi]
Towards a Full Support of Obligations in XACMLDonia El Kateb, Yehia Elrakaiby, Tejeddine Mouelhi, Iram Rubab, Yves Le Traon. crisis 2015: 213-221 [doi]
Smart discovery of periodic-frequent human routines for home automationAlejandro Sánchez Guinea, Andrey Boytsov, Ludovic Mouline, Yves Le Traon. mobiquitous 2019: 268-277 [doi]
Meta-Modelling Meta-LearningThomas Hartmann 0001, Assaad Moawad, Cedric Schockaert, François Fouquet, Yves Le Traon. MoDELS 2019: 300-305 [doi]
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial AttacksSalijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy. sp 2023: 1384-1400 [doi]
Suspicious electric consumption detection based on multi-profiling using live machine learningThomas Hartmann 0001, Assaad Moawad, François Fouquet, Yves Reckinger, Tejeddine Mouelhi, Jacques Klein, Yves Le Traon. smartgridcomm 2015: 891-896 [doi]
Software diagnosabilityYves Le Traon, Farid Ouabdesselam, Chantal Robach. issre 1998: 257-266 [doi]
A Qualitative Study of App Acquisition and ManagementHaroon Elahi, Guojun Wang 0001, Wenjun Jiang, Alexandre Bartel, Yves Le Traon. tcss, 11(2):1907-1925, April 2024. [doi]
Impact of System Partitioning on Test CostGhassan Al Hayek, Yves Le Traon, Chantal Robach. dt, 14(1):64-74, 1997. [doi]
Refactoring access control policies for performance improvementDonia El Kateb, Tejeddine Mouelhi, Yves Le Traon, JeeHyun Hwang, Tao Xie. wosp 2012: 323-334 [doi]
Towards a Safe Use of Design Patterns to Improve OO Software TestabilityBenoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel. issre 2001: 324-331 [doi]
Testability-Oriented Hardware/Software PartitioningYves Le Traon, Ghassan Al Hayek, Chantal Robach. itc 1996: 725-731
Mart: a mutant generation tool for LLVMThierry Titcheu Chekam, Mike Papadakis, Yves Le Traon. FSE 2019: 1080-1084 [doi]
Measuring design testability of a UML class diagramBenoit Baudry, Yves Le Traon. INFSOF, 47(13):859-879, 2005. [doi]
Can We Automate Away the Main Challenges of End-To-End Testing?Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon. BENEVOL 2019: 33-37 [doi]
Towards Estimating and Predicting User Perception on Software Product VariantsJabier Martinez, Jean-Sébastien Sottet, Alfonso García Frey, Tegawendé F. Bissyandé, Tewfik Ziadi, Jacques Klein, Paul Temple, Mathieu Acher, Yves Le Traon. icsr 2018: 23-40 [doi]
Decision support system for blockchain (DLT) platform selection based on ITU recommendations: A systematic literature review approachSylvain Kubler, Matthieu Renard, Sankalp Ghatpande, Jean-Philippe Georges, Yves Le Traon. eswa, 211:118704, January 2023. [doi]
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky TestsGuillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon. msr 2021: 219-229 [doi]
From Hardware to Software TestabilityYves Le Traon, Chantal Robach. itc 1995: 710-719
Muteria: An Extensible and Flexible Multi-Criteria Software Testing FrameworkThierry Titcheu Chekam, Mike Papadakis, Yves Le Traon. ICSE 2020: 97-100 [doi]
Feature Location Benchmark for Software Families Using Eclipse Community ReleasesJabier Martinez, Tewfik Ziadi, Mike Papadakis, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. icsr 2016: 267-283 [doi]
SSPCatcher: Learning to catch security patchesArthur D. Sawadogo, Tegawendé F. Bissyandé, Naouel Moha, Kevin Allix, Jacques Klein, Li Li 0029, Yves Le Traon. ese, 27(6):151, 2022. [doi]
On the Impact of Tokenizer and Parameters on N-Gram Based Code AnalysisMatthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis. ICSM 2018: 437-448 [doi]
Usage and testability of AOP: An empirical study of AspectJFreddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon. INFSOF, 55(2):252-266, 2013. [doi]
Load approximation for uncertain topologies in the low-voltage gridLudovic Mouline, Maxime Cordy, Yves Le Traon. smartgridcomm 2020: 1-6 [doi]
Adaptive blurring of sensor data to balance privacy and utility for ubiquitous servicesAssaad Moawad, Thomas Hartmann 0001, François Fouquet, Jacques Klein, Yves Le Traon. SAC 2015: 2271-2278 [doi]
Towards semantic interoperability in an open IoT ecosystem for connected vehicle servicesNiklas Kolbe, Sylvain Kubler, Jérémy Robert, Yves Le Traon, Arkady B. Zaslavsky. giots 2017: 1-5 [doi]
Testing-for-Trust: The Genetic Selection Model Applied to Component QualificationBenoit Baudry, Vu Le Hanh, Yves Le Traon. TOOLS 2000: 108-119 [doi]
Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security AnalysisDamien Octeau, Patrick McDaniel, Somesh Jha, Alexandre Bartel, Eric Bodden, Jacques Klein, Yves Le Traon. uss 2013: 543-558 [doi]
Influence-driven data poisoning in graph-based semi-supervised classifiersAdriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon. cain 2022: 77-87 [doi]
A Case Driven Study of the Use of Time Series Classification for Flexibility in Industry 4.0Julien Polge, Jérémy Robert, Yves Le Traon. sensors, 20(24):7273, 2020. [doi]
A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertaintyNikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon. itor, 29(4):2172-2200, 2022. [doi]
SpecBCFuzz: Fuzzing LTL Solvers with Boundary ConditionsLuiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis. ICSE 2024: [doi]
Sound and Quasi-Complete Detection of Infeasible Test RequirementsSébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion. icst 2015: 1-10 [doi]
Composants objets fiables : une approche pragmatiqueDaniel Deveaux, Régis Fleurquin, Patrice Frison, Jean-Marc Jézéquel, Yves Le Traon. Lobjet, 5(3/4), 1999.
Mutation testing strategies using mutant classificationMike Papadakis, Yves Le Traon. SAC 2013: 1223-1229 [doi]
Active Code Learning: Benchmarking Sample-Efficient Training of Code ModelsQiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Lei Ma 0003, Mike Papadakis, Yves Le Traon. TSE, 50(5):1080-1095, May 2024. [doi]
Permissioned blockchain frameworks in the industry: A comparisonJulien Polge, Jérémy Robert, Yves Le Traon. ict-express, 7(2):229-233, 2021. [doi]
TUNA: TUning Naturalness-Based AnalysisMatthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis. ICSM 2018: 715 [doi]
Beyond discrete modeling: A continuous and efficient model for IoTAssaad Moawad, Thomas Hartmann 0001, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon. MoDELS 2015: 90-99 [doi]
Parameter Values of Android APIs: A Preliminary Study on 100, 000 AppsLi Li 0029, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. WCRE 2016: 584-588 [doi]
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJRomain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon. icst 2009: 376-385 [doi]
Improving test suites for efficient fault localizationBenoit Baudry, Franck Fleurey, Yves Le Traon. ICSE 2006: 82-91 [doi]
A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, GateXavier Schmitt, Sylvain Kubler, Jérémy Robert, Mike Papadakis, Yves Le Traon. snams 2019: 338-343 [doi]
Generating realistic Smart Grid communication topologies based on real-dataThomas Hartmann 0001, François Fouquet, Jacques Klein, Yves Le Traon, Alexander Pelov, Laurent Toutain, Tanguy Ropitault. smartgridcomm 2014: 428-433 [doi]
Impact of tool support in patch constructionAnil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon. ISSTA 2017: 237-248 [doi]
R-CoRe: A Rule-based Contextual Reasoning Platform for AmIAssaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain, Yves Le Traon. ruleml 2013: [doi]
Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variantsJabier Martinez, Tewfik Ziadi, Mike Papadakis, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. INFSOF, 104:46-59, 2018. [doi]
Mining Fix Patterns for FindBugs ViolationsKui Liu 0001, Dongsun Kim 0001, Tegawendé F. Bissyandé, Shin Yoo, Yves Le Traon. TSE, 47(1):165-188, 2021. [doi]
Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control ManagementPhu Hong Nguyen, Grégory Nain, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon. TAOSD, 11:109-144, 2013. [doi]
Efficient strategies for integration and regression testing of OO systemsThierry Jéron, Jean-Marc Jézéquel, Yves Le Traon, Pierre Morel. issre 1999: 260-269 [doi]
Towards automated testing and fixing of re-engineered feature modelsChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon. ICSE 2013: 1245-1248 [doi]
Distribution-aware fairness test generationSai Sathiesh Rajan, Ezekiel O. Soremekun, Yves Le Traon, Sudipta Chattopadhyay 0001. jss, 215:112090, 2024. [doi]
MutaLog: A Tool for Mutating Logic FormulasChristopher Henard, Mike Papadakis, Yves Le Traon. icst 2014: 399-404 [doi]
System Testing of Product Lines: From Requirements to Test CasesClémentine Nebut, Yves Le Traon, Jean-Marc Jézéquel. In Timo Käkölä, Juan C. Dueñas, editors, Software Product Lines - Research Issues in Engineering and Management. pages 447-477, Springer, 2006. [doi]
An Enterprise Architecture Alignment Measure for Telecom Service DevelopmentJacques Simonin, Yves Le Traon, Jean-Marc Jézéquel. edoc 2007: 476-483 [doi]
Transforming and Selecting Functional Test Cases for Security Policy TestingTejeddine Mouelhi, Yves Le Traon, Benoit Baudry. icst 2009: 171-180 [doi]
Robustness and Diagnosability of OO Systems Designed by ContractsBenoit Baudry, Yves Le Traon, Jean-Marc Jézéquel. metrics 2001: 272-284 [doi]
Intra-query adaptivity for MapReduce query processing systemsEdson Ramiro Lucas Filho, Eduardo Cunha de Almeida, Yves Le Traon. ideas 2014: 380-381 [doi]
Semantic fuzzing with zestRohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon. ISSTA 2019: 329-340 [doi]
A model-based approach to automated testing of access control policiesDianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon. SACMAT 2012: 209-218 [doi]
Producing a Global Requirement Model from Multiple Requirement SpecificationsErwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas. edoc 2007: 390-404 [doi]
From genetic to bacteriological algorithms for mutation-based testingBenoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon. stvr, 15(2):73-96, 2005. [doi]
Combinatorial testing and model checkingYves Le Traon, Tao Xie 0001. stvr, 32(6), 2022. [doi]
Measuring inconsistency and deriving priorities from fuzzy pairwise comparison matrices using the knowledge-based consistency indexSylvain Kubler, William Derigent, Alexandre Voisin, Jérémy Robert, Yves Le Traon, Enrique Herrera-Viedma. kbs, 162:147-160, 2018. [doi]
Estimating and Predicting Average Likability on Computer-Generated Artwork VariantsJabier Martinez, Gabriele Rossi, Tewfik Ziadi, Tegawendé François D. Assise Bissyandé, Jacques Klein, Yves Le Traon. gecco 2015: 1431-1432 [doi]
Automated search for configurations of convolutional neural network architectures: [research]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon. SPLC 2019: [doi]
Centralized vs Decentralized Federated Learning: A trade-off performance analysisChaimaa Medjadji, Guilain Leduc, Sylvain Kubler, Yves Le Traon. ficloud 2024: 69-76 [doi]
Modeling, Composing, and Testing of Security Concerns in a Model-Driven Security ApproachPhu Hong Nguyen, Jacques Klein, Yves Le Traon. ESSoS 2014: [doi]
Roundtable: Research Opportunities and Challenges for Emerging Software SystemsXiangyu Zhang, Dongmei Zhang, Yves Le Traon, Qing Wang, Lu Zhang. jcst, 30(5):935-941, 2015. [doi]
Requirements by Contracts allow Automated System TestingClémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. issre 2003: 85-98 [doi]
Towards a language-independent approach for reverse-engineering of software product linesTewfik Ziadi, Christopher Henard, Mike Papadakis, Mikal Ziane, Yves Le Traon. SAC 2014: 1064-1071 [doi]
LGV: Boosting Adversarial Example Transferability from Large Geometric VicinityMartin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen. eccv 2022: 603-618 [doi]
Sustainable ICT4D in Africa: Where Do We Go from Here?Tegawendé F. Bissyandé, Daouda Ahmat, Jonathan Ouoba, Gertjan van Stam, Jacques Klein, Yves Le Traon. africom 2014: 95-103 [doi]
Generic cloud platform multi-objective optimization leveraging models@run.timeDonia El Kateb, François Fouquet, Grégory Nain, Jorge Augusto Meira, Michel Ackerman, Yves Le Traon. SAC 2014: 343-350 [doi]
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition NetsDianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, Yves Le Traon. TC, 64(9):2490-2505, 2015. [doi]
Reasoning at Runtime using time-distorted Contexts: A Models@run.time based ApproachThomas Hartmann 0001, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, Yves Le Traon. seke 2014: 586-591
Vulnerability Prediction Models: A Case Study on the Linux KernelMatthieu Jimenez, Mike Papadakis, Yves Le Traon. SCAM 2016: 1-10 [doi]
CalcGraph: taming the high costs of deep learning using modelsJoe Lorentz, Thomas Hartmann 0001, Assaad Moawad, François Fouquet, Djamila Aouada, Yves Le Traon. SoSyM, 22(4):1151-1174, August 2023. [doi]
Quality assurance for Internet of Things and speech recognition systemsYves Le Traon, Tao Xie 0001. stvr, 33(5), August 2023. [doi]
Extracting Statistical Graph Features for Accurate and Efficient Time Series ClassificationDaoyuan Li, Jessica Lin, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. edbt 2018: 205-216 [doi]
Android Malware Detection Using BERTBadr Souani, Ahmed Khanfir, Alexandre Bartel, Kevin Allix, Yves Le Traon. acns 2022: 575-591 [doi]
Predicting the fault revelation utility of mutantsThierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon. ICSE 2018: 408-409 [doi]
Test Input Prioritization for Machine Learning ClassifiersXueqi Dang, Yinghua Li, Mike Papadakis, Jacques Klein, Tegawendé F. Bissyandé, Yves Le Traon. TSE, 50(3):413-442, March 2024. [doi]
Building Trust into OO Components Using a Genetic AnalogyBenoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon. issre 2000: 4-14 [doi]
Testing Obligation Policy Enforcement Using Mutation AnalysisYehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon. icst 2012: 673-680 [doi]
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual StrategiesVu Le Hanh, Kamel Akif, Yves Le Traon, Jean-Marc Jézéquel. ECOOP 2001: 381-401 [doi]
The multi-generation repackaging hypothesisLi Li 0029, Tegawendé F. Bissyandé, Alexandre Bartel, Jacques Klein, Yves Le Traon. ICSE 2017: 344-346 [doi]
You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair SystemsKui Liu, Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim 0001, Jacques Klein, Yves Le Traon. icst 2019: 102-113 [doi]
Flattening or not of the combinatorial interaction testing models?Christopher Henard, Mike Papadakis, Yves Le Traon. icst 2015: 1-4 [doi]
Bottom-up adoption of software product lines: a generic and extensible approachJabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. SPLC 2015: 101-110 [doi]
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product LinesJabier Martinez, Tewfik Ziadi, Raúl Mazo, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. vissoft 2014: 50-59 [doi]
Variability Management and Assessment for User Interface DesignJabier Martinez, Jean-Sébastien Sottet, Alfonso García Frey, Tewfik Ziadi, Tegawendé F. Bissyandé, Jean Vanderdonckt, Jacques Klein, Yves Le Traon. In Jean-Sébastien Sottet, Alfonso García Frey, Jean Vanderdonckt, editors, Human Centered Software Product Lines. Human-Computer Interaction Series, pages 81-106, Springer, 2017. [doi]
Automatic Test Generation: A Use Case Driven ApproachClémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. TSE, 32(3):140-155, 2006. [doi]
AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut DescriptorsRomain Delamare, Benoit Baudry, Yves Le Traon. icst 2009: 200-204 [doi]
On the efficiency of test suite based program repair: A Systematic Assessment of 16 Automated Repair Systems for Java ProgramsKui Liu 0001, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawendé F. Bissyandé, Dongsun Kim 0001, Peng Wu, Jacques Klein, Xiaoguang Mao, Yves Le Traon. ICSE 2020: 615-627 [doi]
Understanding Android App Piggybacking: A Systematic Study of Malicious Code GraftingLi Li 0029, Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, David Lo, Lorenzo Cavallaro. tifs, 12(6):1269-1284, 2017. [doi]
Comparison of metadata quality in open data portals using the Analytic Hierarchy ProcessSylvain Kubler, Jérérmy Robert, Sebastian Neumaier, Jürgen Umbrich, Yves Le Traon. giq, 35(Issue):13-29, 2018. [doi]
Near real-time electric load approximation in low voltage cables of smart grids with models@run.timeThomas Hartmann 0001, Assaad Moawad, François Fouquet, Yves Reckinger, Jacques Klein, Yves Le Traon. SAC 2016: 2119-2126 [doi]
Model transformation testing: oracle issueJean-Marie Mottu, Benoit Baudry, Yves Le Traon. icst 2008: 105-112 [doi]
DNN Testing, Regression Testing and Software Reliability PredictionYves Le Traon, Tao Xie 0001. stvr, 34(8), December 2024. [doi]
Genes and Bacteria for Automatic Test Cases Optimization in the .NET EnvironmentBenoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon. issre 2002: 195-206 [doi]
Combining static analysis with probabilistic models to enable market-scale Android inter-component analysisDamien Octeau, Somesh Jha, Matthew Dering, Patrick Drew McDaniel, Alexandre Bartel, Li Li 0029, Jacques Klein, Yves Le Traon. POPL 2016: 469-484 [doi]
Cloud providers viability - How to address it from an IT and legal perspective?Cesare Bartolini, Donia El Kateb, Yves Le Traon, David Hagen. electronicmarkets, 28(1):53-75, 2018. [doi]
Euphony: harmonious unification of cacophonous anti-virus vendor labels for Android malwareMédéric Hurier, Guillermo Suarez-Tangil, Santanu Kumar Dash, Tegawendé F. Bissyandé, Yves Le Traon, Jacques Klein, Lorenzo Cavallaro. msr 2017: 425-435 [doi]
Stream my models: Reactive peer-to-peer distributed models@run.timeThomas Hartmann 0001, Assaad Moawad, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon. MoDELS 2015: 80-89 [doi]
Test Synthesis from UML Models of Distributed SoftwareSimon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon. TSE, 33(4):252-269, 2007. [doi]
PROFICIENT: Productivity Tool for Semantic Interoperability in an Open IoT EcosystemNiklas Kolbe, Jérémy Robert, Sylvain Kubler, Yves Le Traon. mobiquitous 2017: 116-125 [doi]
Metallaxis-FL: mutation-based fault localizationMike Papadakis, Yves Le Traon. stvr, 25(5-7):605-628, 2015. [doi]
Test Optimization in DNN Testing: A SurveyQiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Lei Ma 0003, Mike Papadakis, Yves Le Traon. TOSEM, 33(4), May 2024. [doi]
Name suggestions during feature identification: the variclouds approachJabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. SPLC 2016: 119-123 [doi]
Using Mutants to Locate "Unknown" FaultsMike Papadakis, Yves Le Traon. icst 2012: 691-700 [doi]
An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux KernelMatthieu Jimenez, Mike Papadakis, Yves Le Traon. apsec 2016: 105-112 [doi]
Model-based testing of global properties on large-scale distributed systemsGerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel. INFSOF, 56(7):749-762, 2014. [doi]
The importance of accounting for real-world labelling when predicting software vulnerabilitiesMatthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon, Mark Harman. FSE 2019: 695-705 [doi]
Information Dependencies in MCS: Conviviality-Based Model and MetricsPatrice Caire, Antonis Bikakis, Yves Le Traon. prima 2013: 405-412 [doi]
Automatically securing permission-based software by reducing the attack surface: an application to AndroidAlexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus. ASE 2012: 274-277 [doi]
Fault tolerance and metamorphic relation predictionYves Le Traon, Tao Xie 0001. stvr, 34(6), September 2024. [doi]
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faultsMarinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris, Yves Le Traon. ese, 23(4):2426-2463, 2018. [doi]
Fuzz testing for digital TV receivers and multitasking control software verificationYves Le Traon, Tao Xie 0001. stvr, 33(1), 2023. [doi]
Reliable Objects: Lightweight Testing for OO LanguagesJean-Marc Jézéquel, Daniel Deveaux, Yves Le Traon. IEEE Software, 18(4):76-83, 2001. [doi]
Validation of Access Control SystemsAntonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi. In Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, editors, Engineering Secure Future Internet Services and Systems - Current Research. Volume 8431 of Lecture Notes in Computer Science, pages 210-233, Springer, 2014. [doi]
Integration testing and metamorphic testingYves Le Traon, Tao Xie 0001. stvr, 32(4), 2022. [doi]
Barriers to systematic model transformation testingBenoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu. CACM, 53(6):139-143, 2010. [doi]
Security-driven model-based dynamic adaptationBrice Morin, Tejeddine Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel. ASE 2010: 205-214 [doi]
An extensive systematic review on the Model-Driven Development of secure systemsPhu Hong Nguyen, Max E. Kramer, Jacques Klein, Yves Le Traon. INFSOF, 68:62-81, 2015. [doi]
What Made This Test Flake? Pinpointing Classes Responsible for Test FlakinessSarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon. ICSM 2022: 352-363 [doi]
The NOAH Project: Giving a Chance to Threatened Species in Africa with UAVsMiguel A. Olivares-Mendez, Tegawendé F. Bissyandé, Kannan Somasundar, Jacques Klein, Holger Voos, Yves Le Traon. africom 2014: 198-208 [doi]
Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationPhilippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry. MoDELS 2009: 438-452 [doi]
Qualifying input test data for model transformationsFranck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon. SoSyM, 8(2):185-203, 2009. [doi]
A Framework for Testing Peer-to-Peer SystemsEduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. issre 2008: 167-176 [doi]
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product LinesChristopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon. ICSE 2015: 517-528 [doi]
Testability analysis of co-designed systemsYves Le Traon, Chantal Robach. ats 1995: 206 [doi]
DigBug - Pre/post-processing operator selection for accurate bug localizationKisub Kim, Sankalp Ghatpande, Kui Liu 0001, Anil Koyuncu, Dongsun Kim 0001, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. jss, 189:111300, 2022. [doi]
Combinatorial testing and machine learning for automated test generationYves Le Traon, Tao Xie 0001. stvr, 33(4), June 2023. [doi]
An Investigation into the Use of Common Libraries in Android AppsLi Li 0029, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon. WCRE 2016: 403-414 [doi]
Test infrastructure and environmentYves Le Traon, Tao Xie 0001. stvr, 33(3), May 2023. [doi]
A systematic review on the engineering of software for ubiquitous systemsAlejandro Sánchez Guinea, Grégory Nain, Yves Le Traon. jss, 118:251-276, 2016. [doi]
Search-based test and improvement of machine-learning-based anomaly detection systemsMaxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon. ISSTA 2019: 158-168 [doi]
Model-based testingYves Le Traon, Tao Xie 0001. stvr, 33(2), March 2023. [doi]
DRE: density-based data selection with entropy for adversarial-robust deep learning modelsYuejun Guo 0001, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon. nca, 35(5):4009-4026, February 2023. [doi]
Self-Testable Components: From Pragmatic Tests to Design-for-Testability MethodologyYves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel. TOOLS 1999: 96-107 [doi]
IccTA: Detecting Inter-Component Privacy Leaks in Android AppsLi Li 0029, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick McDaniel. ICSE 2015: 280-291 [doi]
Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control PoliciesYves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry. icst 2010: 72-79 [doi]
A state-of the-art survey & testbed of fuzzy AHP (FAHP) applicationsSylvain Kubler, Jérémy Robert, William Derigent, Alexandre Voisin, Yves Le Traon. eswa, 65:398-422, 2016. [doi]
Automatically Exploiting Potential Component Leaks in Android ApplicationsLi Li, Alexandre Bartel, Jacques Klein, Yves Le Traon. trustcom 2014: 388-397 [doi]
Test Input Prioritization for 3D Point CloudsYinghua Li, Xueqi Dang, Lei Ma 0003, Jacques Klein, Yves Le Traon, Tegawendé F. Bissyandé. TOSEM, 33(5), June 2024. [doi]
Test et diagnostic - des objets aux modèlesYves Le Traon. lmo 2006: 17
An Empirical Study of the Imbalance Issue in Software Vulnerability DetectionYuejun Guo 0001, Qiang Hu, Qiang Tang 0001, Yves Le Traon. esorics 2024: 371-390 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Yves Le Traon's Profile

Unidentified Publications