Monte Carlo testing and verification of numerical algorithm implementations | IEEE Conference Publication | IEEE Xplore