Algorithm 709: testing algorithm implementations | ACM Transactions on Mathematical Software (TOMS) | DeepDyve