Yunho Kim

According to our database, Yunho Kim authored at least 60 papers between 2008 and 2024.

Collaborative distances:

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

2024

Investigating Adolescent Vulnerability in Indonesia: A Socio-Remote Sensing Big Data Analytics Study Using Night Light Data.

Toni Toharudin, Rezzy Eko Caraka, Puspita Anggraini Kaban, Khairunnisa Supardi, Robert Kurniawan, Yunho Kim, Syihabuddin Ahmad Mufti, Prana Ugiana Gio, Anjar Dimara Sakti, Rung-Ching Chen, Maengseok Noh, Bens Pardamean

IEEE Access, 2024

Fine-Tuning of Predictive Models CNN-LSTM and CONV-LSTM for Nowcasting PM_2.5 Level.

Tafia Hasna Putri, Rezzy Eko Caraka, Toni Toharudin, Yunho Kim, Rung-Ching Chen, Prana Ugiana Gio, Anjar Dimara Sakti, Resa Septiani Pontoh, Indah Reski Pratiwi, Farid Azhar Lutfi Nugraha, Thalita Safa Azzahra, Jessica Jesslyn Cerelia, Gumgum Darmawan, Defi Yusti Faidah, Bens Pardamean

IEEE Access, 2024

Understanding Pediatric Health Trends in Papua: Insights From SUSENAS, RISKESDAS, Remote Sensing, and Its Relevance to Prabowo and Gibran's Free Lunch and Milk Program.

Rezzy Eko Caraka, Khairunnisa Supardi, Puspita Anggraini Kaban, Robert Kurniawan, Prana Ugiana Gio, Yunho Kim, Syihabuddin Ahmad Mufti, Rung-Ching Chen, Muhammad Khahfi Zuhanda, Avia Enggar Tyasti, Noor Ell Goldameir, Bens Pardamean

IEEE Access, 2024

2023

Improved weight initialization for deep and narrow feedforward neural network.

Hyunwoo Lee, Yunho Kim, Seungyeop Yang, Hayoung Choi

CoRR, 2023

Not Only Rewards But Also Constraints: Applications on Legged Robot Locomotion.

Yunho Kim, Hyunsik Oh, Jeonghyun Lee, Jinhyeok Choi, Gwanghyeon Ji, Moonkyu Jung, Donghoon Youm, Jemin Hwangbo

CoRR, 2023

Boosting Algorithm to Handle Unbalanced Classification of PM_2.5 Concentration Levels by Observing Meteorological Parameters in Jakarta-Indonesia Using AdaBoost, XGBoost, CatBoost, and LightGBM.

Toni Toharudin, Rezzy Eko Caraka, Indah Reski Pratiwi, Yunho Kim, Prana Ugiana Gio, Anjar Dimara Sakti, Maengseok Noh, Farid Azhar Lutfi Nugraha, Resa Septiani Pontoh, Tafia Hasna Putri, Thalita Safa Azzahra, Jessica Jesslyn Cerelia, Gumgum Darmawan, Bens Pardamean

IEEE Access, 2023

2022

Learning-based mutant reduction using fine-grained mutation operators.

Yunho Kim, Shin Hong

Softw. Test. Verification Reliab., 2022

Deep-Learning-Based Algorithm for the Removal of Electromagnetic Interference Noise in Photoacoustic Endoscopic Image Processing.

Oleksandra Gulenko, Hyunmo Yang, KiSik Kim, Jin Young Youm, Minjae Kim, Yunho Kim, Woonggyu Jung, Joon-Mo Yang

Sensors, 2022

DiffFace: Diffusion-based Face Swapping with Facial Guidance.

Kihong Kim, Yunho Kim, Seokju Cho, Junyoung Seo, Jisu Nam, Kychul Lee, Seungryong Kim, Kwanghee Lee

CoRR, 2022

Hybrid Numerical Modeling of Ballistic Clay under Low-Speed Impact using Artificial Neural Networks.

YeonSu Kim, Yoon A. Kim, Seo Hwee Park, Yunho Kim

CoRR, 2022

Numerical investigation into the dependence of the Allen-Cahn equation on the free energy.

Yunho Kim, Dongsun Lee

Adv. Comput. Math., 2022

Learning Forward Dynamics Model and Informed Trajectory Sampler for Safe Quadruped Navigation.

Yunho Kim, Chanyoung Kim, Jemin Hwangbo

Proceedings of the Robotics: Science and Systems XVIII, New York City, NY, USA, June 27, 2022

Safety Guided Policy Optimization.

Dohyeong Kim, Yunho Kim, Kyungjae Lee, Songhwai Oh

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

POWER: Program Option-Aware Fuzzer for High Bug Detection Ability.

Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

CITRUS: Automated Unit Testing Tool for Real-world C++ Programs.

Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Integrating A Deep Learning-based Plane Detector in Mobile AR Systems for Improvement of Plane Detection.

Yunho Kim, Honguk Woo

Proceedings of the ICCAI '22: 8th International Conference on Computing and Artificial Intelligence, Tianjin, China, March 18, 2022

2021

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

Yunho Kim, Shin Hong

Softw. Test. Verification Reliab., 2021

Two-stage adaptive random Fourier sampling method for image reconstruction.

Joo Dong Yun, Yunho Kim

Pattern Recognit., 2021

Learning multiple gaits of quadruped robot using hierarchical reinforcement learning.

Yunho Kim, Bukun Son, Dongjun Lee

CoRR, 2021

Directed Model Checking for Fast Abstract Reachability Analysis.

Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik

IEEE Access, 2021

Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark.

Robert Sebastian Herlim, Shin Hong, Yunho Kim, Moonzoo Kim

Proceedings of the Search-Based Software Engineering - 13th International Symposium, 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