Mike Papadakis
Mike Papadakis
Senior Research Scientist, University of Luxembourg
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni.lu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2472019
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
2472017
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
230*2014
Metallaxis‐FL: mutation‐based fault localization
M Papadakis, Y Le Traon
Software Testing, Verification and Reliability 25 (5-7), 605-628, 2015
2092015
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
1832015
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
1822015
Comparing White-box and Black-box Test Prioritization
C Henard, M Papadakis, M Harman, Y Jia, Y Le Traon
ICSE, 2016
1512016
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
142*2016
Automatic mutation test case generation via dynamic symbolic execution
M Papadakis, N Malevris
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
1412010
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
1292013
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
1252010
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
1152017
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
1042016
Evaluating mutation testing alternatives: A collateral experiment
M Kintis, M Papadakis, N Malevris
2010 Asia Pacific Software Engineering Conference, 300-309, 2010
1012010
Using mutants to locate" unknown" faults
M Papadakis, Y Le Traon
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
972012
Mutation based test case generation via a path selection strategy
M Papadakis, N Malevris
Information and Software Technology 54 (9), 915-932, 2012
872012
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
812013
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
732017
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
69*2018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20