Mutation based test case generation via a path selection strategy von Papadakis, Mike, Malevris, Nicos

Volltext

MEDIC: A static analysis framework for equivalent mutant identification von Kintis, Marinos, Malevris, Nicos

Volltext

Detecting Trivial Mutant Equivalences via Compiler Optimisations von Kintis, Marinos, Papadakis, Mike, Yue Jia, Malevris, Nicos, Le Traon, Yves, Harman, Mark

Volltext

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing von Papadakis, Mike, Malevris, Nicos

Volltext

A two-folded impact analysis of schema changes on database applications von Gardikiotis, Spyridon K, Malevris, Nicos

Volltext

How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults von Kintis, Marinos, Papadakis, Mike, Papadopoulos, Andreas, Valvis, Evangelos, Malevris, Nicos, Le Traon, Yves

Volltext

Automatic Mutation Test Case Generation via Dynamic Symbolic Execution von Papadakis, Mike, Malevris, Nicos

Volltext

Employing second-order mutation for isolating first-order equivalent mutants von Kintis, Marinos, Papadakis, Mike, Malevris, Nicos

Volltext

Searching and generating test inputs for mutation testing von Papadakis, Mike, Malevris, Nicos

Volltext

Evaluating Mutation Testing Alternatives: A Collateral Experiment von Kintis, M, Papadakis, M, Malevris, N

Volltext

An Effective Path Selection Strategy for Mutation Testing von Papadakis, M., Malevris, N.

Volltext

An Empirical Evaluation of the First and Second Order Mutation Testing Strategies von Papadakis, Mike, Malevris, Nicos

Volltext bestellen

Non-english web search: an evaluation of indexing and searching the Greek web von Efthimiadis, Efthimis N., Malevris, Nicos, Kousaridas, Apostolos, Lepeniotou, Alexandra, Loutas, Nikos

Volltext

Non-english web search: an evaluation of indexing and searching the Greek web: Special Issue on Non-English Web Retrieval von EFTHIMIADIS, Efthimis N, MALEVRIS, Nicos, KOUSARIDAS, Apostolos, LEPENIOTOU, Alexandra, LOUTAS, Nikos

Volltext

Isolating First Order Equivalent Mutants via Second Order Mutation von Kintis, M., Papadakis, M., Malevris, N.

Volltext

A Symbolic Execution Tool Based on the Elimination of Infeasible Paths von Papadakis, M, Malevris, N

Volltext bestellen