N. Malevris

Rules and criteria for when to stop testing a piece of software

E. Petrova, N. Malevris, N. Malevris, 1991 .

Reducing the effects of infeasible paths in branch testing

N. Malevris, D. Yates, 1989 .

A New Script Language Applicable To Symbolic Execution Systems

N. Malevris, C. Koutsikas, 2006 .

Predictive metric for likely feasibility of program paths

D. F. Yates, A. Veevers, N. Malevris, 1990 .

An assessment of the number of paths needed for control flow testing

N. Malevris, 1997 .