Mike Papadakis
TitleCited byYear
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
1442014
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
Proceedings of the 37th International Conference on Software Engineering …, 2015
1242015
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
1112015
Metallaxis‐FL: mutation‐based fault localization
M Papadakis, Y Le Traon
Software Testing, Verification and Reliability 25 (5-7), 605-628, 2015
1032015
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
1032013
Automatic mutation test case generation via dynamic symbolic execution
M Papadakis, N Malevris
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
992010
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
972017
Comparing White-box and Black-box Test Prioritization
C Henard, M Papadakis, M Harman, Y Jia, Y Le Traon
ICSE, 2016
892016
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
812010
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
682013
Evaluating mutation testing alternatives: A collateral experiment
M Kintis, M Papadakis, N Malevris
2010 Asia Pacific Software Engineering Conference, 300-309, 2010
672010
Mutation based test case generation via a path selection strategy
M Papadakis, N Malevris
Information and Software Technology 54 (9), 915-932, 2012
632012
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
622017
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
612016
Using mutants to locate" unknown" faults
M Papadakis, Y Le Traon
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
612012
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
602019
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
562011
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
55*2016
RESEARCH OUTPUTS/RÉSULTATS DE RECHERCHE
X Devroey, G Perrouin, M Cordy, M Papadakis, A Legay, PY Schobbens
452014
Isolating first order equivalent mutants via second order mutation
M Kintis, M Papadakis, N Malevris
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
452012
The system can't perform the operation now. Try again later.
Articles 1–20