Profil

PAPADAKIS Mike

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

Main Referenced Co-authors
LE TRAON, Yves  (87)
CORDY, Maxime  (32)
HENARD, Christopher  (17)
Harman, Mark (14)
KLEIN, Jacques  (13)
Main Referenced Keywords
Mutation testing (5); Software Testing (5); CodeBERT (3); Deep Learning (3); deep learning (3);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal) (21)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SerVal - Security, Reasoning & Validation (5)
ULHPC - University of Luxembourg: High Performance Computing (2)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) (1)
SnT (1)
Main Referenced Disciplines
Computer science (117)
Electrical & electronics engineering (1)
Radiology, nuclear medicine & imaging (1)

Publications (total 118)

The most downloaded
4564 downloads
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 https://hdl.handle.net/10993/31612

The most cited

278 citations (Scopus®)

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 https://hdl.handle.net/10993/31612

OJDANIĆ, M., PAPADAKIS, M., & Harman, M. (2023). Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23). doi:10.1145/3611643.3613089
Peer reviewed

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.

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

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

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

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.

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

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

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

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

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

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

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

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

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.

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., 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

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

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

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

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

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

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

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

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

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

Padhye, R., Lemieux, C., Sen, K., PAPADAKIS, M., & LE TRAON, Y. (2019). Validity fuzzing and parametric generators for effective random testing. Published in: 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

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

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

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

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

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

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.

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

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.

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

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

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

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

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

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

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

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., 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

Bertolino, A., daoudagh, S., El Kateb, D., Henard, C., Le Traon, Y., lonetti, F., marchetti, E., Mouelhi, T., & Papadakis, M. (2014). Similarity testing for access control. Information and Software Technology. doi:10.1016/j.infsof.2014.07.003

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., & 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., 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

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., 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

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

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). Mutation-based Generation of Software Product Line Test Configurations. In Symposium on Search-Based Software Engineering (SSBSE 2014). Springer.
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). 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., & 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., 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.

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., & Le Traon, Y. (2012). Using Mutants to Locate "Unknown" Faults. In ICST 2012. doi:10.1109/ICST.2012.159
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

Contact ORBilu