Nicos Malevris

According to our database1, Nicos Malevris authored at least 38 papers between 1988 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Detecting Trivial Mutant Equivalences via Compiler Optimisations.
IEEE Trans. Software Eng., 2018

How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults.
Empir. Softw. Eng., 2018

2016
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

2015
Employing second-order mutation for isolating first-order equivalent mutants.
Softw. Test. Verification Reliab., 2015

MEDIC: A static analysis framework for equivalent mutant identification.
Inf. Softw. Technol., 2015

2014
Using Data Flow Patterns for Equivalent Mutant Detection.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Identifying More Equivalent Mutants via Code Similarity.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Mutation based test case generation via a path selection strategy.
Inf. Softw. Technol., 2012

Killing Mutants Effectively a Search Based Approach.
Proceedings of the Knowledge-Based Software Engineering, 2012

Isolating First Order Equivalent Mutants via Second Order Mutation.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing.
Softw. Qual. J., 2011

Automatic mutation based test data generation.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

2010
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

An Empirical Evaluation of the First and Second Order Mutation Testing Strategies.
Proceedings of the Third International Conference on Software Testing, 2010

Mutation Testing Strategies - A Collateral Approach.
Proceedings of the ICSOFT 2010, 2010

A Symbolic Execution Tool Based on the Elimination of Infeasible Paths.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Towards automating the generation of mutation tests.
Proceedings of the 5th Workshop on Automation of Software Test, 2010

Evaluating Mutation Testing Alternatives: A Collateral Experiment.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Inclusion, subsumption, JJ-paths, and structured path testing: a Redress.
Softw. Test. Verification Reliab., 2009

Non-english web search: an evaluation of indexing and searching the Greek web.
Inf. Retr., 2009

A two-folded impact analysis of schema changes on database applications.
Int. J. Autom. Comput., 2009

Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution.
Proceedings of the Workshops of the 5th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI-2009), 2009

An Effective Path Selection Strategy for Mutation Testing.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
An Evaluation of How Search Engines Respond to Greek Language Queries.
Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2007
An objective comparison of the cost effectiveness of three testing methods.
Inf. Softw. Technol., 2007

An Agent-based Approach for the Maintenance of Database Applications.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Employing Agents Towards Database Applications Testing.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

2006
The collateral coverage of data flow criteria when branch testing.
Inf. Softw. Technol., 2006

DaSIAn: A Tool for Estimating the Impact of Database Schema Modifications on Web Applications.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

Program Analysis and Testing of Database Applications.
Proceedings of the 5th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2006) and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, 2006

2004
On structurally testing Java programs effectively.
Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, 2004

A Structural Approach Towards the Maintenance of Database Applications.
Proceedings of the 8th International Database Engineering and Applications Symposium (IDEAS 2004), 2004

2001
A Unified Symbolic Execution System.
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000
On the Determination of an Appropriate Time for Ending the Software Testing Process.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1995
The effort required by LCSAJ testing: an assessment via a new path generation strategy.
Softw. Qual. J., 1995

A path generation method for testing LCSAJs that restrains infeasible paths.
Inf. Softw. Technol., 1995

1989
Reducing the Effects of Infeasible Paths in Branch Testing.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988
An effective approach for testing program branches and linear code sequences and jumps.
PhD thesis, 1988


  Loading...