Yunho Kim, Moonzoo Kim, Young-Joo Kim, Yoonkyu Jang. Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 1143-1152, IEEE, 2012. [doi]
Abstract is missing.