Scalable methods for monitoring and detecting behavioral equivalence classes in scientific codes | IEEE Conference Publication | IEEE Xplore