  | HU, Q., Yuejun Guo, Xiaofei Xie, CORDY, M., Lei Ma, PAPADAKIS, M., & LE TRAON, Y. (In press). Test Optimization in DNN Testing: A Survey. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/59273. |
 | OJDANIĆ, M., PAPADAKIS, M., & Harman, M. (2023). Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. In Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. Association for Computing Machinery. doi:10.1145/3611643.3613089  Peer reviewed |
 | HU, Q., GUO, Y., Xie, X., CORDY, M., PAPADAKIS, M., & Le Traon, Y. (24 November 2023). LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing. ACM Transactions on Software Engineering and Methodology, 33 (1), 1-28. doi:10.1145/3611666 Peer Reviewed verified by ORBi |
 | GUO, Y., HU, Q., Xie, X., CORDY, M., PAPADAKIS, M., & Le Traon, Y. (2023). KAPE: <i>k</i> NN-Based Performance Testing for Deep Code Search. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3624735 Peer Reviewed verified by ORBi |
 | HU, Q., Guo, Y., Xie, X., CORDY, M., Ma, W., PAPADAKIS, M., & LE TRAON, Y. (2023). Evaluating the Robustness of Test Selection Methods for Deep Neural Networks. preprint. |
 | DANG, X., LI, Y., PAPADAKIS, M., KLEIN, J., BISSYANDE, T. F. D. A., & LE TRAON, Y. (2023). GraphPrior: Mutation-based Test Input Prioritization for Graph Neural Networks. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3607191 Peer Reviewed verified by ORBi |
 | AKLI, A., HABEN, G., Habchi, S., PAPADAKIS, M., & LE TRAON, Y. (2023). FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning. In FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning. doi:10.1109/AST58925.2023.00018 Peer reviewed |
 | GARG, A., OJDANIC, M., DEGIOVANNI, R. G., TITCHEU CHEKAM, T., PAPADAKIS, M., & LE TRAON, Y. (2023). Cerebro: Static Subsuming Mutant Selection. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2022.3140510 Peer Reviewed verified by ORBi |
 | Dong, Z., HU, Q., GUO, Y., CORDY, M., PAPADAKIS, M., Zhang, Z., LE TRAON, Y., & Zhao, J. (2023). MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 379–390. doi:10.1109/SANER56733.2023.00043 Peer reviewed |
 | HU, Q., GUO, Y., CORDY, M., PAPADAKIS, M., & Traon, Y. (2023). MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 1708–1712. doi:10.1109/ASE56229.2023.00042 Peer reviewed |
 | OJDANIC, M., KHANFIR, A., GARG, A., DEGIOVANNI, R. G., PAPADAKIS, M., & LE TRAON, Y. (2023). On Comparing Mutation Testing Tools through Learning-based Mutant Selection. In On Comparing Mutation Testing Tools through Learning-based Mutant Selection (pp. 10). doi:10.1109/AST58925.2023.00008 Peer reviewed |
 | OJDANIC, M., GARG, A., KHANFIR, A., DEGIOVANNI, R. G., PAPADAKIS, M., & LE TRAON, Y. (2023). Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/49190. doi:10.1109/TSE.2023.3277564 |
 | Carvalho, L., DEGIOVANNI, R. G., Brizzio, M. A., CORDY, M., Aguirre, N., LE TRAON, Y., & PAPADAKIS, M. (2023). ACoRe: Automated Goal-Conflict Resolution. 26th International Conference on Fundamental Approaches to Software Engineering (FASE), 13991, 3–25. doi:10.1007/978-3-031-30826-0_1 Peer reviewed |
 | HU, Q., GUO, Y., Xie, X., CORDY, M., PAPADAKIS, M., Ma, L., & Traon, Y. (2023). Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. 45th IEEE/ACM International Conference on Software Engineering (ICSE), 1776–1787. doi:10.1109/ICSE48619.2023.00152 Peer reviewed |
 | GHAMIZI, S., Zhang, J., CORDY, M., PAPADAKIS, M., Sugiyama, M., & LE TRAON, Y. (2023). GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. Proceedings of the International Conference on Machine Learning (ICML), 202, 11255–11282. Peer reviewed |
 | HU, Q., GUO, Y., CORDY, M., Xie, X., MA, W., PAPADAKIS, M., & Traon, Y. (2023). Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment. 2nd IEEE/ACM International Conference on AI Engineering - Software Engineering for AI, CAIN 2023, 56–67. doi:10.1109/CAIN58948.2023.00015 Peer reviewed |
 | GARG, A., DEGIOVANNI, R. G., Molina, F., CORDY, M., Aguirre, N., PAPADAKIS, M., & Traon, Y. (2023). Enabling Efficient Assertion Inference. International Symposium on Software Reliability Engineering (ISSRE), 623–634. doi:10.1109/ISSRE59848.2023.00039 Peer reviewed |
 | Soremekun, E., Kirschner, L., Böhme, M., & PAPADAKIS, M. (2023). Evaluating the Impact of Experimental Assumptions in Automated Fault Localization. 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 159–171. doi:10.1109/ICSE48619.2023.00025 Peer reviewed |
 | Brizzio, M. A., CORDY, M., PAPADAKIS, M., Sánchez, C. S., Aguirre, N., & DEGIOVANNI, R. G. (2023). Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. Genetic and Evolutionary Computation Conference (GECCO), 1499–1507. doi:10.1145/3583131.3590454 Peer reviewed |
 | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2023). On Evaluating Adversarial Robustness of Chest X-ray Classification. Proceedings of the Workshop on Artificial Intelligence Safety 2023, 3381. Peer reviewed |
 | HU, Q., GUO, Y., Xie, X., CORDY, M., PAPADAKIS, M., Ma, L., & LE TRAON, Y. (2023). CodeS: Towards Code Model Generalization Under Distribution Shift. IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 1–6. doi:10.1109/ICSE-NIER58687.2023.00007 Peer reviewed |
 | RWEMALIKA, R., HABCHI, S., PAPADAKIS, M., LE TRAON, Y., & Brasseur, M.-C. (2023). Smells in system user interactive tests. Empirical Software Engineering, 28 (1). doi:10.1007/s10664-022-10251-1 Peer Reviewed verified by ORBi |
 | KHANFIR, A., JIMENEZ, M., PAPADAKIS, M., & LE TRAON, Y. (2022). CODEBERT-NT: code naturalness via CodeBERT. 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS'22). doi:10.1109/QRS57517.2022.00098 Peer reviewed |
 | Habchi, S., HABEN, G., SOHN, J., Franci, A., PAPADAKIS, M., CORDY, M., & LE TRAON, Y. (2022). What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. In What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. doi:10.1109/ICSME55016.2022.00039 Peer reviewed |
 | GARG, A., DEGIOVANNI, R. G., JIMENEZ, M., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2022). Learning from what we know: How to perform vulnerability prediction using noisy historical data. Empirical Software Engineering. doi:10.1007/s10664-022-10197-4 Peer Reviewed verified by ORBi |
 | OJDANIC, M.* , Ma, W.* , Laurent, T., Titcheu Chekam, T., Ventresque, A., & PAPADAKIS, M. (30 May 2022). On the use of commit-relevant mutants. Empirical Software Engineering, 27. doi:10.1007/s10664-022-10138-1 Peer Reviewed verified by ORBi* These authors have contributed equally to this work. |
 | MA, W., Zhao, M., SOREMEKUN, E., HU, Q., Zhang, J. M., PAPADAKIS, M., CORDY, M., Xie, X., & Traon, Y. L. (2022). GraphCode2Vec: generic code embedding via lexical and program dependence analyses. In Proceedings of the 19th International Conference on Mining Software Repositories (pp. 524--536). doi:10.1145/3524842.3528456 Peer reviewed |
 | KHANFIR, A., Koyuncu, A., PAPADAKIS, M., CORDY, M., BISSYANDE, T. F. D. A., KLEIN, J., & LE TRAON, Y. (2022). iBiR: Bug Report driven Fault Injection. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3542946 Peer Reviewed verified by ORBi |
 | OJDANIC, M., SOREMEKUN, E., DEGIOVANNI, R. G., PAPADAKIS, M., & LE TRAON, Y. (2022). Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3530786 Peer Reviewed verified by ORBi |
 | HABCHI, S., HABEN, G., PAPADAKIS, M., CORDY, M., & LE TRAON, Y. (2022). A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. In A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. doi:10.1109/ICST53961.2022.00034 Peer reviewed |
 | GHAMIZI, S., GARCIA SANTA CRUZ, B., Temple, P., CORDY, M., Perrouin, G., PAPADAKIS, M., & LE TRAON, Y. (2022). Towards Generalizable Machine Learning for Chest X-ray Diagnosis with Multi-task learning. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/50815. |
 | DEGIOVANNI, R. G., & PAPADAKIS, M. (2022). µBert: Mutation Testing using Pre-Trained Language Models. In R. G. DEGIOVANNI & M. PAPADAKIS, µBert: Mutation Testing using Pre-Trained Language Models (pp. 160--169). IEEE. doi:10.1109/ICSTW55395.2022.00039 Peer reviewed |
 | HU, Q., GUO, Y., CORDY, M., Xie, X., Ma, L., PAPADAKIS, M., & LE TRAON, Y. (2022). An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3511598 Peer Reviewed verified by ORBi |
 | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2022). Adversarial Robustness in Multi-Task Learning: Promises and Illusions. In Proceedings of the thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). doi:10.1609/aaai.v36i1.19950 Peer reviewed |
 | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2022). On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices. In The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI- 23) - SafeAI Workshop, Washington, D.C., Feb 13-14, 2023. Peer reviewed |
 | GUBRI, M., CORDY, M., PAPADAKIS, M., LE TRAON, Y., & Sen, K. (2022). Efficient and Transferable Adversarial Examples from Bayesian Neural Networks. The 38th Conference on Uncertainty in Artificial Intelligence. Peer reviewed |
 | GUBRI, M., CORDY, M., PAPADAKIS, M., Traon, Y. L., & Sen, K. (2022). LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. In Computer Vision -- ECCV 2022 (pp. 603--618). Springer Nature Switzerland. Peer reviewed |
 | SOHN, J., & PAPADAKIS, M. (2022). CEMENT: On the Use of Evolutionary Coupling Between Tests and Code Units. A Case Study on Fault Localization. 33rd International Symposium on Software Reliability Engineering (ISSRE), 133–144. doi:10.1109/ISSRE55969.2022.00023 Peer reviewed |
 | CORDY, M., RWEMALIKA, R., FRANCI, A., PAPADAKIS, M., & Harman, M. (2022). FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, 982–994. doi:10.1145/3510003.3510194 Peer reviewed |
 | FRANCI, A., CORDY, M., GUBRI, M., PAPADAKIS, M., & Traon, Y. (2022). Influence-driven data poisoning in graph-based semi-supervised classifiers. International Conference on AI Engineering: Software Engineering for AI, 77–87. doi:10.1145/3522664.3528606 Peer reviewed |
 | Sun, Z., Zhang, J., Xiong, Y., Harman, M., PAPADAKIS, M., & Zhang, L. (2022). Improving Machine Translation Systems via Isotopic Replacement. ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 1181–1192. doi:10.1145/3510003.3510206 Peer reviewed |
  | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2021). Evasion Attack STeganography: Turning Vulnerability Of Machine Learning ToAdversarial Attacks Into A Real-world Application. Proceedings of International Conference on Computer Vision 2021. doi:10.1109/ICCVW54120.2021.00010 Peer reviewed |
 | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2021). Requirements And Threat Models of Adversarial Attacks and Robustness of Chest X-ray classification. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/48411. |
 | HABEN, G., HABCHI, S., PAPADAKIS, M., CORDY, M., & LE TRAON, Y. (2021). A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. In 18th International Conference on Mining Software Repositories. doi:10.1109/MSR52588.2021.00034 Peer reviewed |
 | MA, W., Thierry Titcheu, C., PAPADAKIS, M., & Harman, M. (2021). MuDelta: Delta-Oriented Mutation Testing at Commit Time. In International Conference on Software Engineering (ICSE). doi:10.1109/ICSE43902.2021.00086 Peer reviewed |
 | MA, W., PAPADAKIS, M., Tsakmalis, A., CORDY, M., & LE TRAON, Y. (2021). Test Selection for Deep Learning Systems. ACM Transactions on Software Engineering and Methodology, 30 (2), 13:1--13:22. doi:10.1145/3417330 Peer Reviewed verified by ORBi |
 | TITCHEU CHEKAM, T., PAPADAKIS, M., CORDY, M., & LE TRAON, Y. (2021). Killing Stubborn Mutants with Symbolic Execution. ACM Transactions on Software Engineering and Methodology, 30 (2), 19:1--19:23. doi:10.1145/3425497 Peer Reviewed verified by ORBi |
 | CORDY, M., LAZREG, S., PAPADAKIS, M., & Legay, A. (2021). Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects of Computing, 33 (6), 1147--1172. doi:10.1007/s00165-021-00563-2 Peer Reviewed verified by ORBi |
 | HU, Q., GUO, Y., CORDY, M., Xiaofei, X., MA, W., PAPADAKIS, M., & LE TRAON, Y. (2021). Towards Exploring the Limitations of Active Learning: An Empirical Study. In The 36th IEEE/ACM International Conference on Automated Software Engineering. doi:10.1109/ASE51524.2021.9678672 Peer reviewed |
 | Bonnaventure, W., KHANFIR, A., BARTEL, A., PAPADAKIS, M., & LE TRAON, Y. (2021). CONFUZZION: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities. In IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2021. Peer reviewed |
 | GHAMIZI, S., RWEMALIKA, R., CORDY, M., VEIBER, L., BISSYANDE, T. F. D. A., PAPADAKIS, M., KLEIN, J., & LE TRAON, Y. (2020). Data-driven simulation and optimization for covid-19 exit strategies. In S. GHAMIZI, R. RWEMALIKA, M. CORDY, L. VEIBER, T. F. D. A. BISSYANDE, M. PAPADAKIS, J. KLEIN, ... Y. LE TRAON, Data-driven simulation and optimization for covid-19 exit strategies (pp. 3434-3442). New York, NY, United States: Association for Computing Machinery. doi:10.1145/3394486.3412863 Peer reviewed |
 | CORDY, M., PAPADAKIS, M., & Legay, A. (2020). Statistical Model Checking for Variability-Intensive Systems. In FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020. Peer reviewed |
 | Sun, Z., ZHANG, J., Harman, M., PAPADAKIS, M., & Zhang, L. (2020). Automatic Testing and Improvement of Machine Translation. In International Conference on Software Engineering (ICSE). Peer reviewed |
 | TITCHEU CHEKAM, T., PAPADAKIS, M., & LE TRAON, Y. (2020). Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework. In ACM/IEEE International Conference on Automation of Software Test (AST) 2020. doi:10.1145/3387903.3389316 Peer reviewed |
 | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2020). FeatureNET: Diversity-driven Generation of Deep Learning Models. In International Conference on Software Engineering (ICSE). doi:10.1145/3377812.3382153 Peer reviewed |
 | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2020). Adversarial Embedding: A robust and elusive Steganography and Watermarking technique [Paper presentation]. IEEE Symposium on Security and Privacy. |
 | GHAMIZI, S., RWEMALIKA, R., CORDY, M., LE TRAON, Y., & PAPADAKIS, M. (2020). Pandemic Simulation and Forecasting of exit strategies:Convergence of Machine Learning and EpidemiologicalModels. University of Luxembourg. https://orbilu.uni.lu/handle/10993/43166 |
 | GHAMIZI, S., CORDY, M., GUBRI, M., PAPADAKIS, M., Boystov, A., LE TRAON, Y., & Goujon, A. (2020). Search-based adversarial testing and improvement of constrained credit scoring systems. In ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20), November 8-13, 2020. Peer reviewed |
 | MA, W., Laurent, T., OJDANIC, M., TITCHEU CHEKAM, T., Ventresque, A., & PAPADAKIS, M. (2020). Commit-Aware Mutation Testing. In IEEE International Conference on Software Maintenance and Evolution (ICSME). doi:10.1109/ICSME46990.2020.00045 Peer reviewed |
 | TITCHEU CHEKAM, T., PAPADAKIS, M., BISSYANDE, T. F. D. A., LE TRAON, Y., & Sen, K. (2019). Selecting fault revealing mutants. Empirical Software Engineering, 1-54. doi:10.1007/s10664-019-09778-7 Peer Reviewed verified by ORBi |
 | RWEMALIKA, R., Kintis, M., PAPADAKIS, M., LE TRAON, Y., & Lorrach, P. (2019). An industrial study on the differences between pre-release and post-release bugs. In Proceedings of 35th IEEE International Conference on Software Maintenance and Evolution (pp. 11). IEEE. doi:10.1109/ICSME.2019.00019 Peer reviewed |
 | Shin, D., Yoo, S., PAPADAKIS, M., & Bae, D.-H. (2019). Empirical Evaluation of Mutation-based Test Prioritization Techniques. Software Testing, Verification and Reliability, 29 (1-2). doi:10.1002/stvr.1695 Peer Reviewed verified by ORBi |
 | Jimenez, M., RWEMALIKA, R., PAPADAKIS, M., Sarro, F., LE TRAON, Y., & Harman, M. (2019). The Importance of Accounting for Real-World Labelling When Predicting Software Vulnerabilities. In Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3338906.3338941 Peer reviewed |
 | CORDY, M., Muller, S., PAPADAKIS, M., & LE TRAON, Y. (2019). Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems. In ACM SIGSOFT International Symposium on Software Testing and Analysis. doi:10.1145/3293882.3330580 Peer reviewed |
 | GHAMIZI, S., CORDY, M., PAPADAKIS, M., & LE TRAON, Y. (2019). Automated Search for Configurations of Deep Neural Network Architectures. In Automated Search for Configurations of Convolutional Neural Network Architectures. doi:10.1145/3336294.3336306 Peer reviewed |
 | RWEMALIKA, R., KINTIS, M., PAPADAKIS, M., LE TRAON, Y., & Lorrach, P. (2019). On the Evolution of Keyword-Driven Test Suites. In 12th IEEE International Conference on Software Testing, Verification and Validation. doi:10.1109/ICST.2019.00040 Peer reviewed |
 | Leong, C., Abhayendra, S., PAPADAKIS, M., LE TRAON, Y., & Micco, J. (2019). Assessing Transition-based Test Selection Algorithms at Google. In International Conference on Software Engineering (ICSE). doi:10.1109/ICSE-SEIP.2019.00019 Peer reviewed |
 | PAPADAKIS, M., KINTIS, M., ZHANG, J., Jia, Y., LE TRAON, Y., & Harman, M. (2019). Mutation Testing Advances: An Analysis and Survey. In Advances in Computers. Elsevier. doi:10.1016/bs.adcom.2018.03.015 Peer reviewed |
 | Padhye, R., Lemieux, C., Sen, K., PAPADAKIS, M., & LE TRAON, Y. (2019). Semantic Fuzzing with Zest. In ACM SIGSOFT International Symposium on Software Testing and Analysis. doi:10.1145/3293882.3330576 Peer reviewed |
 | Jimenez, M., RWEMALIKA, R., PAPADAKIS, M., Sarro, F., LE TRAON, Y., & Harman, M. (2019). An Empirical Study on Vulnerability Prediction of Open-Source Software Releases. In Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). Peer reviewed |
 | TITCHEU CHEKAM, T., PAPADAKIS, M., & LE TRAON, Y. (2019). Mart: A Mutant Generation Tool for LLVM. In T. TITCHEU CHEKAM, M. PAPADAKIS, ... Y. LE TRAON, Mart: A Mutant Generation Tool for LLVM. doi:10.1145/3338906.3341180 Peer reviewed |
 | Schmitt, X., Kubler, S., ROBERT, J., PAPADAKIS, M., & LE TRAON, Y. (2019). A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate. In International Conference on Social Networks Analysis, Management and Security. doi:10.1109/SNAMS.2019.8931850 Peer reviewed |
 | Padhye, R., Lemieux, C., Sen, K., PAPADAKIS, M., & LE TRAON, Y. (2019). Validity fuzzing and parametric generators for effective random testing. 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 266–267. doi:10.1109/ICSE-COMPANION.2019.00107 Peer reviewed |
PAPADAKIS, M., Ali, S., & Perrouin, G. (2019). Editorial to the theme section on model-based testing. Software and Systems Modeling, 18 (2), 795–796. doi:10.1007/S10270-018-0699-9 |
 | RWEMALIKA, R., KINTIS, M., PAPADAKIS, M., & LE TRAON, Y. (11 December 2018). Can we automate away the main challenges of end-to-end testing? [Paper presentation]. The 17th Belgium-Netherlands Software Evolution Workshop, Delft, Netherlands. |
 | JIMENEZ, M., TITCHEU CHEKAM, T., CORDY, M., PAPADAKIS, M., KINTIS, M., LE TRAON, Y., & Harman, M. (2018). Are mutants really natural? A study on how “naturalness” helps mutant selection. Proceedings of 12th International Symposium on
Empirical Software Engineering and Measurement (ESEM'18). doi:10.1145/3239235.3240500 Peer reviewed |
 | JIMENEZ, M., CORDY, M., LE TRAON, Y., & PAPADAKIS, M. (2018). TUNA: TUning Naturalness-based Analysis. In 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018. Peer reviewed |
 | JIMENEZ, M., CORDY, M., LE TRAON, Y., & PAPADAKIS, M. (September 2018). On the impact of tokenizer and parameters on N-gram based Code Analysis [Paper presentation]. 34th IEEE International Conference on Software Maintenance and Evolution (ICSME'18), Madrid, Spain. |
 | Marcozzi, M. L., Bardin, S. B., Kosmatov, N., PAPADAKIS, M., Prevosto, V., & Correnson, L. C. (2018). Time to Clean Your Test Objectives. In 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden. Peer reviewed |
 | PAPADAKIS, M., Shin, D., Yoo, S., & Bae, D.-H. (2018). Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults. In 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden. Peer reviewed |
 | JIMENEZ, M., LE TRAON, Y., & PAPADAKIS, M. (2018). Enabling the Continous Analysis of Security Vulnerabilities with VulData7. In IEEE International Working Conference on Source Code Analysis and Manipulation. doi:10.1109/SCAM.2018.00014 Peer reviewed |
 | KINTIS, M., PAPADAKIS, M., Papadopoulos, A., Valvis, E., Malevris, N., & LE TRAON, Y. (2018). How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults. Empirical Software Engineering. doi:10.1007/s10664-017-9582-5 Peer Reviewed verified by ORBi |
 | TITCHEU CHEKAM, T., PAPADAKIS, M., BISSYANDE, T. F. D. A., & LE TRAON, Y. (2018). Predicting the Fault Revelation Utility of Mutants. In 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018. Peer reviewed |
 | Devroey, X., Perrouin, G., PAPADAKIS, M., Legay, A., Schobbens, P.-Y., & Heymans, P. (2018). Model-based mutant equivalence detection using automata language equivalence and simulations. Journal of Systems and Software. doi:10.1016/j.jss.2018.03.010 Peer Reviewed verified by ORBi |
 | Delavernhe, F., Saber, T., PAPADAKIS, M., & Ventresque, A. (2018). A Hybrid Algorithm for Multi-objective Test Case Selection in Regression Testing. In IEEE CONGRESS ON EVOLUTIONARY COMPUTATION. Peer reviewed |
 | PAPADAKIS, M., TITCHEU CHEKAM, T., & LE TRAON, Y. (2018). Mutant Quality Indicators. In 13th International Workshop on Mutation Analysis (MUTATION'18). Peer reviewed |
 | Martinez, J., Ziadi, T., PAPADAKIS, M., BISSYANDE, T. F. D. A., KLEIN, J., & LE TRAON, Y. (2018). Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants. Information and Software Technology. doi:10.1016/j.infsof.2018.07.005 Peer Reviewed verified by ORBi |
 | Saber, T., Delavernhe, F., PAPADAKIS, M., O'Neill, M., & Ventresque, A. (2018). A Hybrid Algorithm for Multi-Objective Test Case Selection. IEEE Congress on Evolutionary Computation (CEC) (2018), 1–8. doi:10.1109/CEC.2018.8477875 Peer reviewed |
 | TITCHEU CHEKAM, T., PAPADAKIS, M., LE TRAON, Y., & Harman, M. (2017). An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption. In International Conference on Software Engineering (ICSE 2017). doi:10.1109/ICSE.2017.61 Peer reviewed |
 | KINTIS, M., PAPADAKIS, M., Jia, Y., Malevris, N., LE TRAON, Y., & Harman, M. (2017). Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2017.2684805 Peer Reviewed verified by ORBi |
 | LI, L., BISSYANDE, T. F. D. A., PAPADAKIS, M., Rasthofer, S., BARTEL, A., Octeau, D., KLEIN, J., & LE TRAON, Y. (2017). Static Analysis of Android Apps: A Systematic Literature Review. Information and Software Technology. doi:10.1016/j.infsof.2017.04.001 Peer Reviewed verified by ORBi |
 | Devroey, X., PERROUIN, G., PAPADAKIS, M., Legay, A., Schobbens, P.-Y., & Heymans, P. (2017). Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation. In 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). doi:10.1109/ICST.2017.46 Peer reviewed |
 | JIMENEZ, M., CORDY, M., KINTIS, M., TITCHEU CHEKAM, T., LE TRAON, Y., & PAPADAKIS, M. (2017). On the Naturalness of Mutants. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/35014. |
 | Laurent, T., PAPADAKIS, M., KINTIS, M., HENARD, C., LE TRAON, Y., & Ventresque, A. (2017). Assessing and Improving the Mutation Testing Practice of PIT. In 10th IEEE International Conference on Software Testing, Verification and Validation. doi:10.1109/ICST.2017.47 Peer reviewed |
 | Loise, T., Devroey, X., Perrouin, G., PAPADAKIS, M., & Heymans, P. (2017). Towards Security-aware Mutation Testing. In The 12th International Workshop on Mutation Analysis (Mutation 2017). doi:10.1109/ICSTW.2017.24 Peer reviewed |
 | JIMENEZ, M., PAPADAKIS, M., & LE TRAON, Y. (2016). An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel. In 2016 Asia-Pacific Software Engineering Conference (APSEC). Peer reviewed |
 | JIMENEZ, M., PAPADAKIS, M., & LE TRAON, Y. (2016). Vulnerability Prediction Models: A case study on the Linux Kernel. In 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016. doi:10.1109/SCAM.2016.15 Peer reviewed |
 | JIMENEZ, M., PAPADAKIS, M., BISSYANDE, T. F. D. A., & KLEIN, J. (2016). Profiling Android Vulnerabilities. In 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016) (pp. 222-229). IEEE Computer Society. doi:10.1109/QRS.2016.34 Peer reviewed |
 | LI, L., BISSYANDE, T. F. D. A., PAPADAKIS, M., Rasthofer, S., BARTEL, A., Octeau, D., KLEIN, J., & LE TRAON, Y. (2016). Static Analysis of Android Apps: A Systematic Literature Review. SnT. https://orbilu.uni.lu/handle/10993/26879 |
 | MARTINEZ, J., Ziadi, T., PAPADAKIS, M., BISSYANDE, T. F. D. A., KLEIN, J., & LE TRAON, Y. (2016). Feature Location Benchmark for Software Families using Eclipse Community Releases. In Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings. doi:10.1007/978-3-319-35122-3_18 Peer reviewed |
 | KINTIS, M., PAPADAKIS, M., Papadopoulos, A., Valvis, E., & Malevris, N. (2016). Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. In International Working Conference on Source Code Analysis and Manipulation (SCAM'16). Peer reviewed |
 | Coles, H., Laurent, T., Henard, C., PAPADAKIS, M., & Ventresque, A. (2016). PIT a Practical Mutation Testing Tool for Java. In International Symposium on Software Testing and Analysis, ISSTA 2016. Peer reviewed |
 | Devroey, X., Perrouin, G., PAPADAKIS, M., Legay, A., Schobbens, P.-Y., & Heymans, P. (2016). Featured model-based mutation analysis. In 38th International Conference on Software Engineering (ICSE'16). Peer reviewed |
 | HENARD, C., PAPADAKIS, M., Harman, M., Jia, Y., & LE TRAON, Y. (2016). Comparing White-box and Black-box Test Prioritization. In 38th International Conference on Software Engineering (ICSE'16). Peer reviewed |
 | PAPADAKIS, M., Henard, C., Harman, M., Jia, & LE TRAON, Y. (2016). Threats to the validity of mutation-based test assessment. In International Symposium on Software Testing and Analysis, ISSTA 2016. doi:10.1145/2931037.2931040 Peer reviewed |
 | Laurent, T., Ventresque, A., PAPADAKIS, M., HENARD, C., & LE TRAON, Y. (2015). Assessing and Improving the Mutation Testing Practice of PIT. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/24473. |
 | HENARD, C., PAPADAKIS, M., & LE TRAON, Y. (2015). Flattening or not of the combinatorial interaction testing models. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (pp. 1-4). IEEE. Peer reviewed |
 | Bardin, S., Delahaye, M., Kosmatov, N., David, R., PAPADAKIS, M., LE TRAON, Y., & Marion, J.-Y. (2015). Sound and Quasi-Complete Detection of Infeasible Test Requirements. In 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15). doi:10.1109/ICST.2015.7102607 Peer reviewed |
 | PAPADAKIS, M., Yue, J., Harman, M., & LE TRAON, Y. (2015). Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. In 37th International Conference on Software Engineering (ICSE 2015). Peer reviewed |
 | HENARD, C., PAPADAKIS, M., Harman, M., & LE TRAON, Y. (2015). Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines. In 37th International Conference on Software Engineering (ICSE 2015). Peer reviewed |
 | Bertolino, A., Daoudagh, S., EL KATEB, D., HENARD, C., LE TRAON, Y., Lonetti, F., Marchetti, E., Mouelhi, T., & PAPADAKIS, M. (2015). Similarity testing for access control. Information and Software Technology, 58, 355-372. doi:10.1016/j.infsof.2014.07.003 Peer Reviewed verified by ORBi |
 | Kintis, M., PAPADAKIS, M., & Malevris, N. (2015). Employing second-order mutation for isolating first-order equivalent mutants. Software Testing, Verification and Reliability, 25 (5-7), 508-535. doi:10.1002/stvr.1529 Peer Reviewed verified by ORBi |
 | PAPADAKIS, M., & LE TRAON, Y. (2015). Metallaxis-FL: mutation-based fault localization. Software Testing, Verification and Reliability, 25, 605-628. doi:10.1002/stvr.1509 Peer Reviewed verified by ORBi |
 | PAPADAKIS, M., Delamaro, E. M., & LE TRAON, Y. (December 2014). Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies. Science of Computer Programming, 95, 298-319. doi:10.1016/j.scico.2014.05.012 Peer Reviewed verified by ORBi |
 | Ziadi, T., HENARD, C., PAPADAKIS, M., Ziane, M., & LE TRAON, Y. (2014). Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines. In 29th Symposium on Applied Computing (SAC 2014). doi:10.1145/2554850.2554874 Peer reviewed |
 | HENARD, C., PAPADAKIS, M., & LE TRAON, Y. (2014). MutaLog: a Tool for Mutating Logic Formulas. In Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014). doi:10.1109/ICSTW.2014.54 Peer reviewed |
 | PAPADAKIS, M., & LE TRAON, Y. (2014). Effective Fault Localization via Mutation Analysis: A Selective Mutation Approach. In ACM Symposium On Applied Computing (SAC'14). doi:10.1145/2554850.2554978 Peer reviewed |
 | HENARD, C., PAPADAKIS, M., & LE TRAON, Y. (2014). Mutation-based Generation of Software Product Line Test Configurations. In Symposium on Search-Based Software Engineering (SSBSE 2014). Springer. Peer reviewed |
 | Devroey, X., Perrouin, G., Cordy, M., PAPADAKIS, M., Legay, A., & Schobbens, P.-Y. (2014). A Variability Perspective of Mutation Analysis. In Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014). Peer reviewed |
 | HENARD, C., PAPADAKIS, M., PERROUIN, G., KLEIN, J., Heymans, P., & LE TRAON, Y. (2014). Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines. IEEE Transactions on Software Engineering, 40 (7), 650-670. doi:10.1109/TSE.2014.2327020 Peer Reviewed verified by ORBi |
 | Carlos, F., PAPADAKIS, M., Durelli, V., & Delamaro, E. M. (2014). Test Data Generation Techniques for Mutation Testing: A Systematic Mapping. In Workshop on Experimental Software Engineering (ESELAW'14). Peer reviewed |
 | PAPADAKIS, M., HENARD, C., & LE TRAON, Y. (2014). Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing. In 7th International Conference on Software Testing, Verification and Validation (ICST 2014). doi:10.1109/ICST.2014.11 Peer reviewed |
 | NGUYEN, P. H., PAPADAKIS, M., & RUBAB, I. (2013). Testing Delegation Policy Enforcement via Mutation Analysis. In 7th International Workshop on Mutation Analysis (pp. 34-42). IEEE. doi:10.1109/ICSTW.2013.12 Peer reviewed |
 | PAPADAKIS, M., & LE TRAON, Y. (2013). Mutation Testing Strategies using Mutant Classification. Abstract book of 28th Symposium On Applied Computing. doi:10.1145/2480362.2480592 Peer reviewed |
 | HENARD, C., PAPADAKIS, M., PERROUIN, G., KLEIN, J., & LE TRAON, Y. (2013). PLEDGE: a product line editor and test generation tool. In 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26. ACM. doi:10.1145/2499777.2499778 Peer reviewed |
 | PAPADAKIS, M., Delamaro, E. M., & LE TRAON, Y. (2013). Proteum/FL: A tool for localizing faults using mutation analysis. In International Working Conference on Source Code Analysis and Manipulation (pp. 94-99). doi:10.1109/SCAM.2013.6648189 Peer reviewed |
 | HENARD, C., PAPADAKIS, M., PERROUIN, G., KLEIN, J., & LE TRAON, Y. (2013). Multi-objective test generation for software product lines. In 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013. ACM. doi:10.1145/2491627.2491635 Peer reviewed |
 | HENARD, C., PAPADAKIS, M., PERROUIN, G., KLEIN, J., & LE TRAON, Y. (2013). Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. IEEE. doi:10.1109/ICSTW.2013.30 Peer reviewed |
 | HENARD, C., PAPADAKIS, M., PERROUIN, G., KLEIN, J., & LE TRAON, Y. (2013). Towards automated testing and fixing of re-engineered feature models. In Proceedings of the 2013 International Conference on Software Engineering. Piscataway, NJ, USA, Unknown/unspecified: IEEE Press. Peer reviewed |
 | HENARD, C., PAPADAKIS, M., PERROUIN, G., KLEIN, J., Heymans, P., & LE TRAON, Y. (2012). Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines. Technical Report. https://orbilu.uni.lu/handle/10993/4896 |
 | PAPADAKIS, M., & LE TRAON, Y. (2012). Using Mutants to Locate "Unknown" Faults. In ICST 2012. doi:10.1109/ICST.2012.159 Peer reviewed |
 | Kintis, M., PAPADAKIS, M., & Malevris, N. (2012). Isolating First Order Equivalent Mutants via Second Order Mutation. In ICST 2012 (pp. 701-710). doi:10.1109/ICST.2012.160 Peer reviewed |
 | PAPADAKIS, M., & Malevris, N. (2012). Mutation Based Test Case Generation via a Path Selection Strategy. Information and Software Technology, 54 (9), 915-932. doi:10.1016/j.infsof.2012.02.004 Peer Reviewed verified by ORBi |