Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation.

Cui Zhang, Carole M. McNamme

Browse the full PDPTA paper archive.