Inclusion, subsumption, JJ-paths, and structured path testing: a Redress von Yates, D. F., Malevris, N.

Volltext

The collateral coverage of data flow criteria when branch testing von Malevris, N., Yates, D.F.

Volltext

An objective comparison of the cost effectiveness of three testing methods von Yates, D.F., Malevris, N.

Volltext

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

Volltext

A New Script Language Applicable To Symbolic Execution Systems von Koutsikas, C., Malevris, N.

Volltext

A path generation method for testing LCSAJs that restrains infeasible paths von Malevris, N

Volltext

A NEW SCRIPT LANGUAGE APPLICABLE TO SYMBOLIC EXECUTION SYSTEMS von Koutsikas, C., Malevris, N.

Volltext

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

Volltext

A structural approach towards the maintenance of database applications von Gardikiotis, S.K., Malevris, N., Konstantinou, T.

Volltext

Rules and criteria for when to stop testing a piece of software von Petrova, E., Malevris, N.

Volltext

The effort required by LCSAJ testing: an assessment via a new path generation strategy von Yates, D. F., Malevris, N.

Volltext

Rules and criteria for when to stop testing a piece of software von Petrova, E., Malevris, N.

Volltext

Location of Facilities Producing Airborne Pollution von Karkazis, J., Boffey, T. B., Malevris, N.

Volltext

Location of Facilities Producing Airborne Pollution von Karkazis, J., Boffey, T. B., Malevris, N.

Volltext

Predictive metric for likely feasibility of program paths von Malevris, N, Yates, D.F., Veevers, A

Volltext

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

Volltext

A unified symbolic execution system von Koutsikas, C., Malevris, N.

Volltext bestellen

On the determination of an appropriate time for ending the software testing process von Malevris, N., Petrova, E.

Volltext bestellen

Detecting Trivial Mutant Equivalences via Compiler Optimisations von Kintis, M, Papadakis, M, Jia, Y, Malevris, N, Le Traon, Y, Harman, M

Volltext bestellen

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

Volltext bestellen