Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures | IEEE Journals & Magazine | IEEE Xplore