An experimental evaluation of the assumption of independence in multiversion programming | IEEE Journals & Magazine | IEEE Xplore