Michail Papadakis
|
|
||||
| Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Research Unit | CSC | ||||
| Postal Address |
Campus Kirchberg, Université du Luxembourg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg |
||||
| Campus Office | E 005 | ||||
|
|||||
| Telephone | (+352) 46 66 44 5672 | ||||
I am a research associate in the Serval group of the Interdisciplinary Centre for Security, Reliability and Trust ( SnT ) at the University of Luxembourg.
My research focuses on software testing and software debugging.
More details about my research and background can be found on my personal home page.
A-Most 2016
Special Theme on Model-Based Testing.
Last updated on: Sunday, 01 November 2015
In press
Empirical Evaluation of Mutation-based Test Prioritization Techniques; ; ;
in Software Testing, Verification and Reliability (in press)
2019
Automated Search for Configurations of Deep Neural Network Architectures; ; ;
Scientific Conference (2019)
Assessing Transition-based Test Selection Algorithms at Google; ; ; ;
in International Conference on Software Engineering (ICSE) (2019)
On the Evolution of Keyword-Driven Test Suites; ; ; ;
in 12th IEEE International Conference on Software Testing, Verification and Validation (2019)
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 & Reliability (2015), 25(5-7), 508-535
Metallaxis-FL: mutation-based fault localization;
in Software Testing : Verification & 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)
MutaLog: a Tool for Mutating Logic Formulas; ;
in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)
Mutation-based Generation of Software Product Line Test Configurations; ;
in Symposium on Search-Based Software Engineering (SSBSE 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
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)
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)
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 & Software Technology (2012), 54(9), 915-932
