CREST-BV: An Improved Concolic Testing Technique Supporting Bitwise Operations for Embedded Software