| 2016 | SCAM | Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. | Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris |
| 2014 | ICST | Using Data Flow Patterns for Equivalent Mutant Detection. | Marinos Kintis, Nicos Malevris |
| 2013 | APSEC | Identifying More Equivalent Mutants via Code Similarity. | Marinos Kintis, Nicos Malevris |
| 2012 | ICST | Isolating First Order Equivalent Mutants via Second Order Mutation. | Marinos Kintis, Mike Papadakis, Nicos Malevris |
| 2011 | GECCO | Automatic mutation based test data generation. | Mike Papadakis, Nicos Malevris |
| 2010 | APSEC | Evaluating Mutation Testing Alternatives: A Collateral Experiment. | Marinos Kintis, Mike Papadakis, Nicos Malevris |
| 2010 | ICSE | Towards automating the generation of mutation tests. | Mike Papadakis, Nicos Malevris, Maria Kallia |
| 2010 | ICSEA | A Symbolic Execution Tool Based on the Elimination of Infeasible Paths. | Mike Papadakis, Nicos Malevris |
| 2010 | ICSoft | Mutation Testing Strategies - A Collateral Approach. | Mike Papadakis, Nicos Malevris, Marinos Kintis |
| 2010 | ICST | An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. | Mike Papadakis, Nicos Malevris |
| 2010 | ISSRE | Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. | Mike Papadakis, Nicos Malevris |
| 2009 | APSEC | An Effective Path Selection Strategy for Mutation Testing. | Mike Papadakis, Nicos Malevris |
| 2006 | AICCSA | DaSIAn: A Tool for Estimating the Impact of Database Schema Modifications on Web Applications. | Spyridon K. Gardikiotis, Nicos Malevris |
| 2001 | AICCSA | A Unified Symbolic Execution System. | C. Koutsikas, Nicos Malevris |
| 1989 | ISSTA | Reducing the Effects of Infeasible Paths in Branch Testing. | Derek F. Yates, Nicos Malevris |