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

Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang

Browse the full ICSE paper archive.