Nicos Malevris

34 papers A 2C 6Journal 12Unranked 13
YearRankTypeTitle / Venue / Authors
2018 J jnl
Detecting Trivial Mutant Equivalences via Compiler Optimisations.
IEEE Trans. Software Eng.
Marinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, Mark Harman
2018 J jnl
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults.
Empir. Softw. Eng.
Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris, Yves Le Traon
2016 C conf
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study.
SCAM
Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris
2015 J jnl
Employing second-order mutation for isolating first-order equivalent mutants.
Softw. Test. Verification Reliab.
Marinos Kintis, Mike Papadakis, Nicos Malevris
2015 J jnl
MEDIC: A static analysis framework for equivalent mutant identification.
Inf. Softw. Technol.
Marinos Kintis, Nicos Malevris
2014 — conf
Using Data Flow Patterns for Equivalent Mutant Detection.
ICST Workshops
Marinos Kintis, Nicos Malevris
2013 — conf
Identifying More Equivalent Mutants via Code Similarity.
APSEC (1)
Marinos Kintis, Nicos Malevris
2012 A conf
Isolating First Order Equivalent Mutants via Second Order Mutation.
ICST
Marinos Kintis, Mike Papadakis, Nicos Malevris
2012 — conf
Killing Mutants Effectively a Search Based Approach.
JCKBSE
Mike Papadakis, Nicos Malevris
2012 J jnl
Mutation based test case generation via a path selection strategy.
Inf. Softw. Technol.
Mike Papadakis, Nicos Malevris
2011 — conf
Automatic mutation based test data generation.
GECCO (Companion)
Mike Papadakis, Nicos Malevris
2011 J jnl
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing.
Softw. Qual. J.
Mike Papadakis, Nicos Malevris
2010 C conf
A Symbolic Execution Tool Based on the Elimination of Infeasible Paths.
ICSEA
Mike Papadakis, Nicos Malevris
2010 — conf
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies.
ICST Workshops
Mike Papadakis, Nicos Malevris
2010 A conf
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution.
ISSRE
Mike Papadakis, Nicos Malevris
2010 C conf
Evaluating Mutation Testing Alternatives: A Collateral Experiment.
APSEC
Marinos Kintis, Mike Papadakis, Nicos Malevris
2010 — conf
Mutation Testing Strategies - A Collateral Approach.
ICSOFT (2)
Mike Papadakis, Nicos Malevris, Marinos Kintis
2010 — conf
Towards automating the generation of mutation tests.
AST@ICSE
Mike Papadakis, Nicos Malevris, Maria Kallia
2009 J jnl
A two-folded impact analysis of schema changes on database applications.
Int. J. Autom. Comput.
Spyridon K. Gardikiotis, Nicos Malevris
2009 C conf
An Effective Path Selection Strategy for Mutation Testing.
APSEC
Mike Papadakis, Nicos Malevris
2009 — conf
Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution.
AIAI (Workshops)
Mike Papadakis, Nicos Malevris
2009 J jnl
Non-english web search: an evaluation of indexing and searching the Greek web.
Inf. Retr.
Efthimis N. Efthimiadis, Nicos Malevris, Apostolos Kousaridas, Alexandra Lepeniotou, Nikos Loutas
2008 — conf
An Evaluation of How Search Engines Respond to Greek Language Queries.
HICSS
Efthimis N. Efthimiadis, Nicos Malevris, Apostolos Kousaridas, Alexandra Lepeniotou, Nikos Loutas
2007 J jnl
An objective comparison of the cost effectiveness of three testing methods.
Inf. Softw. Technol.
Derek F. Yates, Nicos Malevris
2006 C conf
DaSIAn: A Tool for Estimating the Impact of Database Schema Modifications on Web Applications.
AICCSA
Spyridon K. Gardikiotis, Nicos Malevris
2006 — conf
Program Analysis and Testing of Database Applications.
ACIS-ICIS
Spyridon K. Gardikiotis, Nicos Malevris
2006 J jnl
The collateral coverage of data flow criteria when branch testing.
Inf. Softw. Technol.
Nicos Malevris, Derek F. Yates
2004 — conf
On structurally testing Java programs effectively.
PPPJ
Nicos Malevris
2001 C conf
A Unified Symbolic Execution System.
AICCSA
C. Koutsikas, Nicos Malevris
2000 — conf
On the Determination of an Appropriate Time for Ending the Software Testing Process.
APAQS
Nicos Malevris, E. Petrova
1995 J jnl
A path generation method for testing LCSAJs that restrains infeasible paths.
Inf. Softw. Technol.
Nicos Malevris
1995 J jnl
The effort required by LCSAJ testing: an assessment via a new path generation strategy.
Softw. Qual. J.
Derek F. Yates, Nicos Malevris
1989 — conf
Reducing the Effects of Infeasible Paths in Branch Testing.
Symposium on Testing, Analysis, and Verification
Derek F. Yates, Nicos Malevris
1988 — —
An effective approach for testing program branches and linear code sequences and jumps.
Nicos Malevris