Yunho Kim

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 39

Top Topics

Quadruped Robot

Fault Localization

Top Venues

Softw. Test. Verification Reliab.

Publications

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
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. IEEE Access 12 (2024)
Yunho Kim, Hyunsik Oh, Jeonghyun Lee, Jinhyeok Choi, Gwanghyeon Ji, Moonkyu Jung, Donghoon Youm, Jemin Hwangbo
Not Only Rewards but Also Constraints: Applications on Legged Robot Locomotion. IEEE Trans. Robotics 40 (2024)
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
Investigating Adolescent Vulnerability in Indonesia: A Socio-Remote Sensing Big Data Analytics Study Using Night Light Data. IEEE Access 12 (2024)
Yunho Kim, Jeonghyun Lee, Choongin Lee, Juhyeok Mun, Donghoon Youm, Jeongsoo Park, Jemin Hwangbo
Learning Semantic Traversability with Egocentric Video and Automated Annotation Strategy. CoRR (2024)
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
Level. IEEE Access 12 (2024)
Hyunwoo Lee, Yunho Kim, Seungyeop Yang, Hayoung Choi
Improved weight initialization for deep and narrow feedforward neural network. Neural Networks 176 (2024)
Hyunwoo Lee, Yunho Kim, Seungyeop Yang, Hayoung Choi
Improved weight initialization for deep and narrow feedforward neural network. CoRR (2023)
Yunho Kim, Hyunsik Oh, Jeonghyun Lee, Jinhyeok Choi, Gwanghyeon Ji, Moonkyu Jung, Donghoon Youm, Jemin Hwangbo
Not Only Rewards But Also Constraints: Applications on Legged Robot Locomotion. CoRR (2023)
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
Concentration Levels by Observing Meteorological Parameters in Jakarta-Indonesia Using AdaBoost, XGBoost, CatBoost, and LightGBM. IEEE Access 11 (2023)
Yunho Kim, Dongsun Lee
Numerical investigation into the dependence of the Allen-Cahn equation on the free energy. Adv. Comput. Math. 48 (3) (2022)
Yunho Kim, Shin Hong
Learning-based mutant reduction using fine-grained mutation operators. Softw. Test. Verification Reliab. 32 (7) (2022)
Kihong Kim, Yunho Kim, Seokju Cho, Junyoung Seo, Jisu Nam, Kychul Lee, Seungryong Kim, KwangHee Lee
DiffFace: Diffusion-based Face Swapping with Facial Guidance. CoRR (2022)
Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. ICST (2022)
Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. ICST (2022)
YeonSu Kim, Yoon A. Kim, Seo Hwee Park, Yunho Kim
Hybrid Numerical Modeling of Ballistic Clay under Low-Speed Impact using Artificial Neural Networks. CoRR (2022)
Yunho Kim, Chanyoung Kim, Jemin Hwangbo
Learning Forward Dynamics Model and Informed Trajectory Sampler for Safe Quadruped Navigation. Robotics: Science and Systems (2022)
Yunho Kim, Honguk Woo
Integrating A Deep Learning-based Plane Detector in Mobile AR Systems for Improvement of Plane Detection. ICCAI (2022)
Dohyeong Kim, Yunho Kim, Kyungjae Lee, Songhwai Oh
Safety Guided Policy Optimization. IROS (2022)
Yunho Kim, Shin Hong
Learning-based Mutant Reduction Using Fine-grained Mutation Operators. ICST (2022)
Yunho Kim, Chanyoung Kim, Jemin Hwangbo
Learning Forward Dynamics Model and Informed Trajectory Sampler for Safe Quadruped Navigation. CoRR (2022)
Oleksandra Gulenko, Hyunmo Yang, KiSik Kim, Jin Young Youm, Minjae Kim, Yunho Kim, Woonggyu Jung, Joon-Mo Yang
Deep-Learning-Based Algorithm for the Removal of Electromagnetic Interference Noise in Photoacoustic Endoscopic Image Processing. Sensors 22 (10) (2022)
Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik
Directed Model Checking for Fast Abstract Reachability Analysis. IEEE Access 9 (2021)
Yunho Kim, Bukun Son, Dongjun Lee
Learning multiple gaits of quadruped robot using hierarchical reinforcement learning. CoRR (2021)
Robert Sebastian Herlim, Shin Hong, Yunho Kim, Moonzoo Kim
Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark. SSBSE (2021)
Yunho Kim, Shin Hong
DEMINER: test generation for high test coverage through mutant exploration. Softw. Test. Verification Reliab. 31 (1-2) (2021)
Joo Dong Yun, Yunho Kim
Two-stage adaptive random Fourier sampling method for image reconstruction. Pattern Recognit. 117 (2021)
Dongsun Lee, Yunho Kim
Novel mass-conserving Allen-Cahn equation for the boundedness of an order parameter. Commun. Nonlinear Sci. Numer. Simul. 85 (2020)
Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry. Inf. Softw. Technol. 123 (2020)
Yunho Kim
A Newton's method characterization for real eigenvalue problems. Numerische Mathematik 142 (4) (2019)
Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
Concolic testing for high test coverage and reduced human effort in automotive industry. ICSE (SEIP) (2019)
Yunho Kim, Seokhyeon Mun, Shin Yoo, Moonzoo Kim
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs. ACM Trans. Softw. Eng. Methodol. 28 (4) (2019)
Yunho Kim, Shin Hong, Moonzoo Kim
Target-driven compositional concolic testing with function summary refinement for effective bug detection. ESEC/SIGSOFT FSE (2019)
Yunho Kim, Kwangsue Chung
Multipath-based transmission scheme for improving the QoE of HTTP adaptive streaming. J. Vis. Commun. Image Represent. 55 (2018)
Duy Loc Phan, Yunho Kim, Moonzoo Kim
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility. ICST Workshops (2018)
Yunho Kim, Yunja Choi, Moonzoo Kim
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. ICSE (2018)
Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage. ICST (2018)
Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim
MUSEUM: Debugging real-world multilingual programs using mutation analysis. Inf. Softw. Technol. 82 (2017)
Shin Hong, Byeongcheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim
Mutation-Based Fault Localization for Real-World Multilingual Programs (T). ASE (2015)
Zhihong Xu, Yunho Kim, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
Directed test suite augmentation: an empirical investigation. Softw. Test. Verification Reliab. 25 (2) (2015)
Yunho Kim, Moonzoo Kim
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. APSEC (1) (2014)
Yunho Kim, John B. Garnett, Luminita A. Vese
Image Restoration Using One-Dimensional Sobolev Norm Profiles of Noise and Texture. SIAM J. Imaging Sci. 7 (1) (2014)
Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
Hybrid Directed Test Suite Augmentation: An Interleaving Framework. ICST (2014)
Yunho Kim, Hemant D. Tagare
Intensity Nonuniformity Correction for Brain MR Images with Known Voxel Classes. SIAM J. Imaging Sci. 7 (1) (2014)
Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo
Ask the Mutants: Mutating Faulty Programs for Fault Localization. ICST (2014)
Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim
Automated unit testing of large industrial embedded software using concolic testing. ASE (2013)
Patrick Guidotti, Yunho Kim, James V. Lambers
Image Restoration with a New Class of Forward-Backward-Forward Diffusion Equations of Perona-Malik Type with Applications to Satellite Image Enhancement. SIAM J. Imaging Sci. 6 (3) (2013)
Moonzoo Kim, Yunho Kim, Gregg Rothermel
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. ICST (2012)
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)
Massimo Fornasier, Yunho Kim, Andreas Langer, Carola-Bibiane Schönlieb
/TV-Image Deblurring. SIAM J. Imaging Sci. 5 (3) (2012)
Moonzoo Kim, Yunho Kim, Yoonkyu Jang
Industrial Application of Concolic Testing on Embedded Software: Case Studies. ICST (2012)
Moonzoo Kim, Yunho Kim, Yunja Choi
Concolic testing of the multi-sector read operation for flash storage platform software. Formal Aspects Comput. 24 (3) (2012)
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)
Yunho Kim, John B. Garnett, Luminita A. Vese
A convex minimization model in image restoration via one-dimensional Sobolev norm profiles. ICIP (2011)
Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel
A Hybrid Directed Test Suite Augmentation Technique. ISSRE (2011)
Yunho Kim, Moonzoo Kim
SCORE: a scalable concolic testing tool for reliable embedded software. SIGSOFT FSE (2011)
Moonzoo Kim, Yunho Kim
Automated Analysis of Industrial Embedded Software. ATVA (2011)
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) (2011)
Yunho Kim, Moonzoo Kim, Nam Dang
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. ICTAC (2010)
Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen
Directed test suite augmentation: techniques and tradeoffs. SIGSOFT FSE (2010)
Yunho Kim, Paul M. Thompson, Arthur W. Toga, Luminita A. Vese, Liang Zhan
. IPMI (2009)
Moonzoo Kim, Yunho Kim
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. SBMF (2009)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Pre-testing Flash Device Driver through Model Checking Techniques. ICST (2008)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN (2008)
Yunho Kim, Luminita A. Vese
Functional minimization problems in image processing. Computational Imaging (2008)
Moonzoo Kim, Yunho Kim, Hotae Kim
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE (2008)