Profil

PAPADAKIS Mike

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

Main Referenced Co-authors
LE TRAON, Yves  (92)
CORDY, Maxime  (46)
HENARD, Christopher  (16)
Harman, Mark (15)
KLEIN, Jacques  (14)
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 (132)
Electrical & electronics engineering (1)
Radiology, nuclear medicine & imaging (1)

Publications (total 133)

The most downloaded
4779 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

318 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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