| Automatic mutation test case generation via dynamic symbolic execution M Papadakis, N Malevris 2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010 | 162 | 2010 |
| 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 | 161 | 2010 |
| Evaluating mutation testing alternatives: A collateral experiment M Kintis, M Papadakis, N Malevris 2010 Asia Pacific Software Engineering Conference, 300-309, 2010 | 136 | 2010 |
| 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 | 107 | 2017 |
| Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing M Papadakis, N Malevris Software Quality Journal 19, 691-723, 2011 | 98 | 2011 |
| Mutation based test case generation via a path selection strategy M Papadakis, N Malevris Information and Software Technology 54 (9), 915-932, 2012 | 96 | 2012 |
| Reducing the effects of infeasible paths in branch testing D Yates, N Malevris ACM SIGSOFT Software Engineering Notes 14 (8), 48-54, 1989 | 96 | 1989 |
| 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, 2426-2463, 2018 | 83 | 2018 |
| Towards automating the generation of mutation tests M Papadakis, N Malevris, M Kallia Proceedings of the 5th Workshop on Automation of Software Test, 111-118, 2010 | 65 | 2010 |
| 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 | 62 | 2012 |
| Employing second‐order mutation for isolating first‐order equivalent mutants M Kintis, M Papadakis, N Malevris Software Testing, Verification and Reliability 25 (5-7), 508-535, 2015 | 47 | 2015 |
| Analysing and comparing the effectiveness of mutation testing tools: A manual study M Kintis, M Papadakis, A Papadopoulos, E Valvis, N Malevris 2016 IEEE 16th International Working Conference on Source Code Analysis and …, 2016 | 41 | 2016 |
| MEDIC: A static analysis framework for equivalent mutant identification M Kintis, N Malevris Information and Software Technology 68, 1-17, 2015 | 38 | 2015 |
| Searching and generating test inputs for mutation testing M Papadakis, N Malevris SpringerPlus 2, 1-12, 2013 | 35 | 2013 |
| The collateral coverage of data flow criteria when branch testing N Malevris, DF Yates Information and Software Technology 48 (8), 676-686, 2006 | 34 | 2006 |
| Predictive metric for likely feasibility of program paths N Malevris, DF Yates, A Veevers Information and Software Technology 32 (2), 115-118, 1990 | 34 | 1990 |
| Using data flow patterns for equivalent mutant detection M Kintis, N Malevris 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 30 | 2014 |
| A symbolic execution tool based on the elimination of infeasible paths M Papadakis, N Malevris 2010 Fifth International Conference on Software Engineering Advances, 435-440, 2010 | 30 | 2010 |
| A two-folded impact analysis of schema changes on database applications SK Gardikiotis, N Malevris International Journal of Automation and Computing 6, 109-123, 2009 | 30 | 2009 |
| Identifying more equivalent mutants via code similarity M Kintis, N Malevris 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 180-188, 2013 | 29 | 2013 |
Mike PapadakisAssociate professor, University of Luxembourgایمیل تأیید شده در uni.lu
