Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE