Follow
Mike Papadakis
Title
Cited by
Cited by
Year
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
3242019
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
3022017
Metallaxis‐FL: mutation‐based fault localization
M Papadakis, Y Le Traon
Software Testing, Verification and Reliability 25 (5-7), 605-628, 2015
2522015
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
249*2014
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
2022015
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
1992015
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
183*2016
Comparing White-box and Black-box Test Prioritization
C Henard, M Papadakis, M Harman, Y Jia, Y Le Traon
ICSE, 2016
1792016
Automatic mutation test case generation via dynamic symbolic execution
M Papadakis, N Malevris
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
1452010
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
1362013
An empirical evaluation of the first and second order mutation testing strategies
M Papadakis, N Malevris
Software Testing Verification and Validation Workshop, IEEE International …, 2010
1362010
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
1322017
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
1222016
Evaluating mutation testing alternatives: A collateral experiment
M Kintis, M Papadakis, N Malevris
2010 Asia Pacific Software Engineering Conference, 300-309, 2010
1102010
Using mutants to locate" unknown" faults
M Papadakis, Y Le Traon
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
1062012
Semantic fuzzing with zest
R Padhye, C Lemieux, K Sen, M Papadakis, Y Le Traon
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
93*2019
Mutation based test case generation via a path selection strategy
M Papadakis, N Malevris
Information and Software Technology 54 (9), 915-932, 2012
912012
Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults
M Papadakis, D Shin, S Yoo, DH Bae
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
892018
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
882013
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
872011
The system can't perform the operation now. Try again later.
Articles 1–20