Travelled to:1 × Switzerland
Collaborated with:Y.Kim M.Kim Y.Jang
Talks about:industri (1) approach (1) libexif (1) concol (1) applic (1) studi (1) crest (1) test (1) klee (1) case (1)
Person: Young Joo Kim
DBLP: Kim:Young_Joo
Contributed to:
2012Wrote 1 papers:
- ICSE-2012-KimKKJ #approach #case study #industrial #testing #using
- Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.