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

@article{Kim2012IndustrialAO,
  title={Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE},
  author={Yunho Kim and Moonzoo Kim and Young Joo Kim and Yoonkyu Jang},
  journal={2012 34th International Conference on Software Engineering (ICSE)},
  year={2012},
  pages={1143-1152}
}
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… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 22 extracted citations

Automatically Generating Search Heuristics for Concolic Testing

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 1 Excerpt

Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage

2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) • 2018
View 1 Excerpt

Precise Concolic Unit Testing of C Programs Using Extended Units and Symbolic Alarm Filtering

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018

SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) • 2017
View 1 Excerpt

On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) • 2016
View 1 Excerpt

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…