Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli. Exploiting GPU architectures for dynamic invariant mining. In 33rd IEEE International Conference on Computer Design, ICCD 2015, New York City, NY, USA, October 18-21, 2015. pages 192-195, IEEE Computer Society, 2015. [doi]
Abstract is missing.