Dr. Michail Papadakis
|
|
||||
| Faculté ou Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | SerVal | ||||
| Adresse postale |
Campus Kirchberg, Université du Luxembourg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg |
||||
| Bureau sur le campus | E 005 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 5672 | ||||
Michail Papadakis is a Senior Research Scientist in Software Engineering with emphasis on Software Testing.
Michail received his PhD in Software Testing and Verification, in 2011 at the Athens University of Economics and Business. Since 2012, he has been a Research Associate and since 2016 Research Scientist in SnT. His research focusses on model-driven software engineering, especially software testing, debugging and verification. He has an outstanding scientific record and extensive experience in attracting competitive research funding as PI and co-PI, from the FNR and industrial partners. In addition, he has been actively involved in managing and contributing to those projects.
More details about his research and background can be found on his personal home page.
A-Most 2016
Special Theme on Model-Based Testing.
Last updated on: mercredi 23 septembre 2020
Sous presse
2022
µBert: Mutation Testing using Pre-Trained Language Models;
in Degiovanni, Renzo Gaston; Papadakis, Mike (Eds.) µBert: Mutation Testing using Pre-Trained Language Models (2022)
Learning from what we know: How to perform vulnerability prediction using noisy historical data; ; ; ; ;
in Empirical Software Engineering (2022)
Cerebro: Static Subsuming Mutant Selection; ; ; ; ;
in IEEE Transactions on Software Engineering (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 (2022)
Adversarial Robustness in Multi-Task Learning: Promises and Illusions; ; ;
in Proceedings of the thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22) (2022)
Towards Generalizable Machine Learning for Chest X-ray Diagnosis with Multi-task learning; ; ; ; ; ;
E-print/Working paper (2022)
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks; ; ; ;
in The 38th Conference on Uncertainty in Artificial Intelligence (2022)
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity; ; ; ;
in Computer Vision -- ECCV 2022 (2022)
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement; ; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
CODEBERT-NT: code naturalness via CodeBERT; ; ;
in 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS'22) (2022, December 05)
iBiR: Bug Report driven Fault Injection; ; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
GraphCode2Vec: generic code embedding via lexical and program dependence analyses; ; ; ; ; ; ; ;
in Proceedings of the 19th International Conference on Mining Software Repositories (2022, May 22)
Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
2021
CONFUZZION: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities; ; ; ;
in IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2021 (2021)
Statistical model checking for variability-intensive systems: applications to bug detection and minimization; ; ;
in Formal Aspects of Computing (2021), 33(6), 1147--1172
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning ToAdversarial Attacks Into A Real-world Application; ; ;
in Proceedings of International Conference on Computer Vision 2021 (2021)
Requirements And Threat Models of Adversarial Attacks and Robustness of Chest X-ray classification; ; ;
E-print/Working paper (2021)
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests; ; ; ;
in 18th International Conference on Mining Software Repositories (2021, May)
Towards Exploring the Limitations of Active Learning: An Empirical Study; ; ; ; ; ;
in The 36th IEEE/ACM International Conference on Automated Software Engineering. (2021)
Test Selection for Deep Learning Systems; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(2), 131--1322
MuDelta: Delta-Oriented Mutation Testing at Commit Time; ; ;
in International Conference on Software Engineering (ICSE) (2021)
Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies; ; ; ; ;
E-print/Working paper (2021)
Killing Stubborn Mutants with Symbolic Execution; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(2), 191--1923
2020
Statistical Model Checking for Variability-Intensive Systems; ;
in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020 (2020, April)
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 (2020)
FeatureNET: Diversity-driven Generation of Deep Learning Models; ; ;
in International Conference on Software Engineering (ICSE) (2020)
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique; ; ;
Scientific Conference (2020)
Data-driven simulation and optimization for covid-19 exit strategies; ; ; ; ; ; ;
in Ghamizi, Salah; Rwemalika, Renaud; Cordy, Maxime; Veiber, Lisa; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Klein, Jacques; Le Traon, Yves (Eds.) Data-driven simulation and optimization for covid-19 exit strategies (2020, August)
Commit-Aware Mutation Testing; ; ; ; ;
in IEEE International Conference on Software Maintenance and Evolution (ICSME) (2020)
Automatic Testing and Improvement of Machine Translation; ; ; ;
in International Conference on Software Engineering (ICSE) (2020)
Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework; ;
in ACM/IEEE International Conference on Automation of Software Test (AST) 2020 (2020)
2019
Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems; ; ;
in ACM SIGSOFT International Symposium on Software Testing and Analysis (2019)
Automated Search for Configurations of Deep Neural Network Architectures; ; ;
in Automated Search for Configurations of Convolutional Neural Network Architectures (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) (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) (2019)
Assessing Transition-based Test Selection Algorithms at Google; ; ; ;
in International Conference on Software Engineering (ICSE) (2019)
Semantic Fuzzing with Zest; ; ; ;
in ACM SIGSOFT International Symposium on Software Testing and Analysis (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 (2019, September 30)
On the Evolution of Keyword-Driven Test Suites; ; ; ;
in 12th IEEE International Conference on Software Testing, Verification and Validation (2019)
A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate; ; ; ;
in International Conference on Social Networks Analysis, Management and Security (2019)
Empirical Evaluation of Mutation-based Test Prioritization Techniques; ; ;
in Software Testing, Verification and Reliability (2019), 29(1-2),
Mart: A Mutant Generation Tool for LLVM; ;
in Titcheu Chekam, Thierry; Papadakis, Mike; Le Traon, Yves (Eds.) Mart: A Mutant Generation Tool for LLVM (2019)
2018
A Hybrid Algorithm for Multi-objective Test Case Selection in Regression Testing; ; ;
in IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (2018)
Model-based mutant equivalence detection using automata language equivalence and simulations; ; ; ; ;
in Journal of Systems and Software (2018)
TUNA: TUning Naturalness-based Analysis; ; ;
in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)
On the impact of tokenizer and parameters on N-gram based Code Analysis; ; ;
Scientific Conference (2018, September)
Enabling the Continous Analysis of Security Vulnerabilities with VulData7; ;
in IEEE International Working Conference on Source Code Analysis and Manipulation (2018)
Are mutants really natural? A study on how “naturalness” helps mutant selection; ; ; ; ; ;
in Proceedings of 12th International Symposium on Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults; ; ; ; ;
in Empirical Software Engineering (2018)
Time to Clean Your Test Objectives; ; ; ; ;
in 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden (2018, May)
Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants; ; ; ; ;
in Information and Software Technology (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 (2018)
Mutant Quality Indicators; ;
in 13th International Workshop on Mutation Analysis (MUTATION'18) (2018)
Can we automate away the main challenges of end-to-end testing?; ; ;
Scientific Conference (2018, December 11)
Predicting the Fault Revelation Utility of Mutants; ; ;
in 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018 (2018)
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) (2017)
Detecting Trivial Mutant Equivalences via Compiler Optimisations; ; ; ; ;
in IEEE Transactions on Software Engineering (2017)
Assessing and Improving the Mutation Testing Practice of PIT; ; ; ; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (2017)
Static Analysis of Android Apps: A Systematic Literature Review; ; ; ; ; ; ;
in Information and Software Technology (2017)
Towards Security-aware Mutation Testing; ; ; ;
in The 12th International Workshop on Mutation Analysis (Mutation 2017) (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) (2017, May 28)
2016
PIT a Practical Mutation Testing Tool for Java; ; ; ;
in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)
Featured model-based mutation analysis; ; ; ; ;
in 38th International Conference on Software Engineering (ICSE'16) (2016)
Comparing White-box and Black-box Test Prioritization; ; ; ;
in 38th International Conference on Software Engineering (ICSE'16) (2016)
Profiling Android Vulnerabilities; ; ;
in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016) (2016, August)
An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel; ;
in 2016 Asia-Pacific Software Engineering Conference (APSEC) (2016, December)
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 (2016, October)
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study; ; ; ;
in International Working Conference on Source Code Analysis and Manipulation (SCAM'16) (2016)
Feature Location Benchmark for Software Families using Eclipse Community Releases; ; ; ; ;
in Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings (2016)
Threats to the validity of mutation-based test assessment; ; ; ;
in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)
2015
Sound and Quasi-Complete Detection of Infeasible Test Requirements; ; ; ; ; ;
in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15) (2015)
Similarity testing for access control; ; ; ; ; ; ; ;
in Information and Software Technology (2015), 58
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines; ; ;
in 37th International Conference on Software Engineering (ICSE 2015) (2015)
Flattening or not of the combinatorial interaction testing models; ;
in Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (2015, April)
Employing second-order mutation for isolating first-order equivalent mutants; ;
in Software Testing, Verification and Reliability (2015), 25(5-7), 508-535
Metallaxis-FL: mutation-based fault localization;
in Software Testing, Verification and Reliability (2015), 25
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) (2015)
2014
Test Data Generation Techniques for Mutation Testing: A Systematic Mapping; ; ;
in Workshop on Experimental Software Engineering (ESELAW'14) (2014)
A Variability Perspective of Mutation Analysis; ; ; ; ;
in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) (2014)
Mutation-based Generation of Software Product Line Test Configurations; ;
in Symposium on Search-Based Software Engineering (SSBSE 2014) (2014)
MutaLog: a Tool for Mutating Logic Formulas; ;
in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines; ; ; ; ;
in IEEE Transactions on Software Engineering (2014), 40(7), 650-670
Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies; ;
in Science of Computer Programming (2014), 95
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing; ;
in 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)
Effective Fault Localization via Mutation Analysis: A Selective Mutation Approach;
in ACM Symposium On Applied Computing (SAC'14) (2014)
Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines; ; ; ;
in 29th Symposium on Applied Computing (SAC 2014) (2014)
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 (2013)
Multi-objective test generation for software product lines; ; ; ;
in 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013 (2013)
Towards automated testing and fixing of re-engineered feature models; ; ; ;
in Proceedings of the 2013 International Conference on Software Engineering (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 (2013)
Testing Delegation Policy Enforcement via Mutation Analysis; ;
in 7th International Workshop on Mutation Analysis (2013, March)
Proteum/FL: A tool for localizing faults using mutation analysis.; ;
in International Working Conference on Source Code Analysis and Manipulation (2013)
Mutation Testing Strategies using Mutant Classification;
in Abstract book of 28th Symposium On Applied Computing (2013)
2012
Mutation Based Test Case Generation via a Path Selection Strategy;
in Information and Software Technology (2012), 54(9), 915-932
