An effective approach for testing program branches and linear code sequences and jumps. - Nicos Malevris (1988)

Reducing the Effects of Infeasible Paths in Branch Testing. - Derek F. Yates; Nicos Malevris (Symposium on Testing, Analysis, and Verification, 1989)

A path generation method for testing LCSAJs that restrains infeasible paths. - Nicos Malevris (Inf. Softw. Technol., 1995)

The effort required by LCSAJ testing: an assessment via a new path generation strategy. - Derek F. Yates; Nicos Malevris (Softw. Qual. J., 1995)

On the Determination of an Appropriate Time for Ending the Software Testing Process. - Nicos Malevris; E. Petrova (APAQS, 2000)

A Unified Symbolic Execution System. - C. Koutsikas; Nicos Malevris (AICCSA, 2001)

A Structural Approach Towards the Maintenance of Database Applications. - Spyridon K. Gardikiotis; Nikolaos Malevris; T. Konstantinou (IDEAS, 2004)

On structurally testing Java programs effectively. - Nicos Malevris (PPPJ, 2004)

Program Analysis and Testing of Database Applications. - Spyridon K. Gardikiotis; Nicos Malevris (ACIS-ICIS, 2006)

DaSIAn: A Tool for Estimating the Impact of Database Schema Modifications on Web Applications. - Spyridon K. Gardikiotis; Nicos Malevris (AICCSA, 2006)

The collateral coverage of data flow criteria when branch testing. - Nicos Malevris; Derek F. Yates (Inf. Softw. Technol., 2006)

Employing Agents Towards Database Applications Testing. - Spyridon K. Gardikiotis; Vasilios S. Lazarou; Nikolaos Malevris (ICTAI (1), 2007)

An Agent-based Approach for the Maintenance of Database Applications. - Spyridon K. Gardikiotis; Vasilios S. Lazarou; Nikolaos Malevris (SERA, 2007)

An objective comparison of the cost effectiveness of three testing methods. - Derek F. Yates; Nicos Malevris (Inf. Softw. Technol., 2007)

An Evaluation of How Search Engines Respond to Greek Language Queries. - Efthimis N. Efthimiadis; Nicos Malevris; Apostolos Kousaridas; Alexandra Lepeniotou; Nikos Loutas (HICSS, 2008)

An Effective Path Selection Strategy for Mutation Testing. - Mike Papadakis; Nicos Malevris (APSEC, 2009)

Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution. - Mike Papadakis; Nicos Malevris (AIAI (Workshops), 2009)

A two-folded impact analysis of schema changes on database applications. - Spyridon K. Gardikiotis; Nicos Malevris (Int. J. Autom. Comput., 2009)

Non-english web search: an evaluation of indexing and searching the Greek web. - Efthimis N. Efthimiadis; Nicos Malevris; Apostolos Kousaridas; Alexandra Lepeniotou; Nikos Loutas (Inf. Retr., 2009)

Inclusion, subsumption, JJ-paths, and structured path testing: a Redress. - Derek F. Yates; Nikolaos Malevris (Softw. Test. Verification Reliab., 2009)

Evaluating Mutation Testing Alternatives: A Collateral Experiment. - Marinos Kintis; Mike Papadakis; Nicos Malevris (APSEC, 2010)

Towards automating the generation of mutation tests. - Mike Papadakis; Nicos Malevris; Maria Kallia (AST, 2010)

A Symbolic Execution Tool Based on the Elimination of Infeasible Paths. - Mike Papadakis; Nicos Malevris (ICSEA, 2010)

Mutation Testing Strategies - A Collateral Approach. - Mike Papadakis; Nicos Malevris; Marinos Kintis (ICSOFT (2), 2010)

An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. - Mike Papadakis; Nicos Malevris (ICST Workshops, 2010)

Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. - Mike Papadakis; Nicos Malevris (ISSRE, 2010)

Automatic mutation based test data generation. - Mike Papadakis; Nicos Malevris (GECCO (Companion), 2011)

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing. - Mike Papadakis; Nicos Malevris (Softw. Qual. J., 2011)

Isolating First Order Equivalent Mutants via Second Order Mutation. - Marinos Kintis; Mike Papadakis; Nicos Malevris (ICST, 2012)

Killing Mutants Effectively a Search Based Approach. - Mike Papadakis; Nicos Malevris (JCKBSE, 2012)

Mutation based test case generation via a path selection strategy. - Mike Papadakis; Nicos Malevris (Inf. Softw. Technol., 2012)

Identifying More Equivalent Mutants via Code Similarity. - Marinos Kintis; Nicos Malevris (APSEC (1), 2013)

Using Data Flow Patterns for Equivalent Mutant Detection. - Marinos Kintis; Nicos Malevris (ICST Workshops, 2014)

MEDIC: A static analysis framework for equivalent mutant identification. - Marinos Kintis; Nicos Malevris (Inf. Softw. Technol., 2015)

Employing second-order mutation for isolating first-order equivalent mutants. - Marinos Kintis; Mike Papadakis; Nicos Malevris (Softw. Test. Verification Reliab., 2015)

Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. - Marinos Kintis; Mike Papadakis; Andreas Papadopoulos; Evangelos Valvis; Nicos Malevris (SCAM, 2016)

How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults. - Marinos Kintis; Mike Papadakis; Andreas Papadopoulos; Evangelos Valvis; Nicos Malevris; Yves Le Traon (Empir. Softw. Eng., 2018)

Detecting Trivial Mutant Equivalences via Compiler Optimisations. - Marinos Kintis; Mike Papadakis; Yue Jia 001; Nicos Malevris; Yves Le Traon; Mark Harman (IEEE Trans. Software Eng., 2018)