Sciweavers

Share
ICSE
2012
IEEE-ACM

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

8 years 3 months ago
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which accelerates the adoption of open source applications in the smartphone platforms. However, developers often do not know the detail of open source applications, because they did not develop the applications themselves. Thus, it is a challenging problem to test open source applications effectively in short time. This paper reports our experience of applying concolic testing technique to test libexif, an open source library to manipulate EXIF information in image files. We have demonstrated that concolic testing technique is effective and efficient at detecting bugs with modest effort in industrial setting. We also compare two concolic testing tools, CREST-BV and KLEE, in this testing project. Furthermore, we compare the concolic testing results with the analysis result of the Coverity Prevent static analyzer. We...
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jan
Added 29 Sep 2012
Updated 29 Sep 2012
Type Journal
Year 2012
Where ICSE
Authors Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang
Comments (0)
books