Yunho Kim Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunho Kim, Yunja Choi: Concolic testing of the multi-sector read operation for flash storage platform software. Formal Asp. Comput. 24(3): 355-374 (2012)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. ICSE 2012: 1143-1152
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunho Kim, Gregg Rothermel: A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. ICST 2012: 340-349
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunho Kim, Yoonkyu Jang: Industrial Application of Concolic Testing on Embedded Software: Case Studies. ICST 2012: 390-399
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Melissa Tong, Yunho Kim, Yunho Zhan, Guillermo Sapiro, Christophe Lenglet, Bryon A. Mueller, Paul M. Thompson, Luminita A. Vese: A variational model for denoising high angular resolution diffusion imaging. ISBI 2012: 530-533
2011
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunho Kim, Hotae Kim: A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. IEEE Trans. Software Eng. 37(2): 146-160 (2011)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunho Kim: Automated Analysis of Industrial Embedded Software. ATVA 2011: 51-59
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yunho Kim, John Garnett, Luminita A. Vese: A convex minimization model in image restoration via one-dimensional Sobolev norm profiles. ICIP 2011: 693-696
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel: A Hybrid Directed Test Suite Augmentation Technique. ISSRE 2011: 150-159
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yunho Kim, Moonzoo Kim: SCORE: a scalable concolic testing tool for reliable embedded software. SIGSOFT FSE 2011: 420-423
2010
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yunho Kim, Moonzoo Kim, Nam Dang: Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. ICTAC 2010: 199-213
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen: Directed test suite augmentation: techniques and tradeoffs. SIGSOFT FSE 2010: 257-266
2009
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yunho Kim, Paul M. Thompson, Arthur W. Toga, Luminita A. Vese, Liang Zhan: HARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient sADC. IPMI 2009: 515-527
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunho Kim: Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. SBMF 2009: 251-265
2008
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yunho Kim, Luminita A. Vese: Functional minimization problems in image processing. Computational Imaging 2008: 68140
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Pre-testing Flash Device Driver through Model Checking Techniques. ICST 2008: 475-484
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunho Kim, Hotae Kim: Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE 2008: 198-207
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN 2008: 144-159

Coauthor Index

1Yunja Choi
[j2] [c3] [c1]
2Myra B. Cohen
[c7]
3Nam Dang
[c8]
4John Garnett
[c11]
5Yoonkyu Jang
[c16] [c14]
6Hotae Kim
[j1] [c3] [c2] [c1]
7Moonzoo Kim
[j2] [c16] [c15] [c14] [j1] [c12] [c10] [c9] [c8] [c7] [c5] [c3] [c2] [c1]
8Young Joo Kim
[c16]
9Christophe Lenglet
[c13]
10Bryon A. Mueller
[c13]
11Gregg Rothermel
[c15] [c10] [c7]
12Guillermo Sapiro
[c13]
13Paul M. Thompson
[c13] [c6]
14Arthur W. Toga
[c6]
15Melissa Tong
[c13]
16Luminita A. Vese
[c13] [c11] [c6] [c4]
17Zhihong Xu
[c10] [c7]
18Liang Zhan
[c6]
19Yunho Zhan
[c13]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 01:55:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page