Design of reliable software via general combination of N-version programming and acceptance testing | IEEE Conference Publication | IEEE Xplore