Demystifying Template-Based Invariant Generation for Bit-Vector Programs | IEEE Conference Publication | IEEE Xplore