Raana, A.; Azam, M. A.; Ghazanfar, M. A.; Javed, A.; Amin, Y.; Naeem, U. C++ BUG CUB: Logical Bug Detection for C++ Code. The Nucleus 2016, 53, 56-63.