Exploiting GPU architectures for dynamic invariant mining | IEEE Conference Publication | IEEE Xplore