Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation. - Cui Zhang; Carole M. McNamme (PDPTA, 1997)