Mike Papadakis
Title
Cited by
Cited by
Year
Static analysis of android apps: A systematic literature review
L Li, TF Bissyandé, M Papadakis, S Rasthofer, A Bartel, D Octeau, J Klein, ...
Information and Software Technology 88, 67-95, 2017
2372017
Mutation testing advances: an analysis and survey
M Papadakis, M Kintis, J Zhang, Y Jia, Y Le Traon, M Harman
Advances in Computers 112, 275-378, 2019
2352019
Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines
C Henard, M Papadakis, G Perrouin, J Klein, P Heymans, Y Le Traon
IEEE Transactions on Software Engineering, 1-1, 2014
227*2014
Metallaxis‐FL: mutation‐based fault localization
M Papadakis, Y Le Traon
Software Testing, Verification and Reliability 25 (5-7), 605-628, 2015
2022015
Trivial compiler equivalence: A large scale empirical study of a simple, fast and effective equivalent mutant detection technique
M Papadakis, Y Jia, M Harman, Y Le Traon
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
1812015
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines
C Henard, M Papadakis, M Harman, Y Le Traon
37th International Conference on Software Engineering (ICSE), 2015
1792015
Comparing White-box and Black-box Test Prioritization
C Henard, M Papadakis, M Harman, Y Jia, Y Le Traon
ICSE, 2016
1462016
Automatic mutation test case generation via dynamic symbolic execution
M Papadakis, N Malevris
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
1402010
PIT a Practical Mutation Testing Tool for Java (Demo)
H Coles, T Laurent, C Henard, M Papadakis, A Ventresque
International Symposium on Software Testing and Analysis (ISSTA …, 2016
130*2016
Multi-objective test generation for software product lines
C Henard, M Papadakis, G Perrouin, J Klein, YL Traon
Proceedings of the 17th International Software Product Line Conference, 62-71, 2013
1282013
An empirical evaluation of the first and second order mutation testing strategies
M Papadakis, N Malevris
2010 Third International Conference on Software Testing, Verification, and …, 2010
1222010
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption
TT Chekam, M Papadakis, Y Le Traon, M Harman
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
1082017
Threats to the validity of mutation-based test assessment
M Papadakis, C Henard, M Harman, Y Jia, Y Le Traon
Proceedings of the 25th International Symposium on Software Testing and …, 2016
1002016
Evaluating mutation testing alternatives: A collateral experiment
M Kintis, M Papadakis, N Malevris
2010 Asia Pacific Software Engineering Conference, 300-309, 2010
982010
Using mutants to locate" unknown" faults
M Papadakis, Y Le Traon
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
962012
Mutation based test case generation via a path selection strategy
M Papadakis, N Malevris
Information and Software Technology 54 (9), 915-932, 2012
862012
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
M Papadakis, N Malevris
Software Quality Journal 19 (4), 691-723, 2011
852011
Assessing Software Product Line Testing via Model-based Mutation: An Application to Similarity Testing
C Henard, M Papadakis, G Perrouin, J Klein, Y Le Traon
822013
Detecting trivial mutant equivalences via compiler optimisations
M Kintis, M Papadakis, Y Jia, N Malevris, Y Le Traon, M Harman
IEEE Transactions on Software Engineering 44 (4), 308-333, 2017
692017
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults
M Kintis, M Papadakis, A Papadopoulos, E Valvis, N Malevris, Y Le Traon
Empirical Software Engineering 23 (4), 2426-2463, 2018
63*2018
The system can't perform the operation now. Try again later.
Articles 1–20