A mathematical comparison of Software Breeding and Community Error Recovery in multiversion software | IEEE Conference Publication | IEEE Xplore