Yunho Kim

According to our database, Yunho Kim authored at least 40 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

DEMINER: test generation for high test coverage through mutant exploration.

Yunho Kim, Shin Hong

Softw. Test. Verification Reliab., 2021

2020

MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry.

Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim

Inf. Softw. Technol., 2020

Novel mass-conserving Allen-Cahn equation for the boundedness of an order parameter.

Dongsun Lee, Yunho Kim

Commun. Nonlinear Sci. Numer. Simul., 2020

2019

Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs.

Yunho Kim, Seokhyeon Mun, Shin Yoo, Moonzoo Kim

ACM Trans. Softw. Eng. Methodol., 2019

A Newton's method characterization for real eigenvalue problems.

Yunho Kim

Numerische Mathematik, 2019

Target-driven compositional concolic testing with function summary refinement for effective bug detection.

Yunho Kim, Shin Hong, Moonzoo Kim

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Concolic testing for high test coverage and reduced human effort in automotive industry.

Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018

Multipath-based transmission scheme for improving the QoE of HTTP adaptive streaming.

Yunho Kim, Kwangsue Chung

J. Vis. Commun. Image Represent., 2018

MUSIC: Mutation Analysis Tool with High Configurability and Extensibility.

Duy Loc Phan, Yunho Kim, Moonzoo Kim

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

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

Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.

Yunho Kim, Yunja Choi, Moonzoo Kim

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

MUSEUM: Debugging real-world multilingual programs using mutation analysis.

Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim

Inf. Softw. Technol., 2017

2015

Directed test suite augmentation: an empirical investigation.

Zhihong Xu, Yunho Kim, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel

Softw. Test. Verification Reliab., 2015

Mutation-Based Fault Localization for Real-World Multilingual Programs (T).

Shin Hong, Byeongcheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Intensity Nonuniformity Correction for Brain MR Images with Known Voxel Classes.

Yunho Kim, Hemant D. Tagare

SIAM J. Imaging Sci., 2014

Image Restoration Using One-Dimensional Sobolev Norm Profiles of Noise and Texture.

Yunho Kim, John B. Garnett, Luminita A. Vese

SIAM J. Imaging Sci., 2014

Ask the Mutants: Mutating Faulty Programs for Fault Localization.

Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Hybrid Directed Test Suite Augmentation: An Interleaving Framework.

Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study.

Yunho Kim, Moonzoo Kim

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Image Restoration with a New Class of Forward-Backward-Forward Diffusion Equations of Perona-Malik Type with Applications to Satellite Image Enhancement.

Patrick Guidotti, Yunho Kim, James V. Lambers

SIAM J. Imaging Sci., 2013

Automated unit testing of large industrial embedded software using concolic testing.

Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Wavelet Decomposition Method for L_2//TV-Image Deblurring.

Massimo Fornasier, Yunho Kim, Andreas Langer, Carola-Bibiane Schönlieb

SIAM J. Imaging Sci., 2012

Concolic testing of the multi-sector read operation for flash storage platform software.

Moonzoo Kim, Yunho Kim, Yunja Choi

Formal Aspects Comput., 2012

A variational model for denoising high angular resolution diffusion imaging.

Melissa Tong, Yunho Kim, Yunho Zhan, Guillermo Sapiro, Christophe Lenglet, Bryon A. Mueller, Paul M. Thompson, Luminita A. Vese

Proceedings of the 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2012

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation.

Moonzoo Kim, Yunho Kim, Gregg Rothermel

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Industrial Application of Concolic Testing on Embedded Software: Case Studies.

Moonzoo Kim, Yunho Kim, Yoonkyu Jang

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

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

Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study.

Moonzoo Kim, Yunho Kim, Hotae Kim

IEEE Trans. Software Eng., 2011

SCORE: a scalable concolic testing tool for reliable embedded software.

Yunho Kim, Moonzoo Kim

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

A Hybrid Directed Test Suite Augmentation Technique.

Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

A convex minimization model in image restoration via one-dimensional Sobolev norm profiles.

Yunho Kim, John B. Garnett, Luminita A. Vese

Proceedings of the 18th IEEE International Conference on Image Processing, 2011

Automated Analysis of Industrial Embedded Software.

Moonzoo Kim, Yunho Kim

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Directed test suite augmentation: techniques and tradeoffs.

Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform.

Yunho Kim, Moonzoo Kim, Nam Dang

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System.

Moonzoo Kim, Yunho Kim

Proceedings of the Formal Methods: Foundations and Applications, 2009

HARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient <i>sADC</i>.

Yunho Kim, Paul M. Thompson, Arthur W. Toga, Luminita A. Vese, Liang Zhan

Proceedings of the Information Processing in Medical Imaging, 2009

2008

Formal Verification of a Flash Memory Device Driver - An Experience Report.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the Model Checking Software, 2008

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.

Moonzoo Kim, Yunho Kim, Hotae Kim

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Pre-testing Flash Device Driver through Model Checking Techniques.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the First International Conference on Software Testing, 2008

Functional minimization problems in image processing.

Yunho Kim, Luminita A. Vese

Proceedings of the Computational Imaging VI, 2008