default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yunho Kim
@article{DBLP:journals/access/ToharudinCKSKKMGSCNP24,
author = {Toni Toharudin and
Rezzy Eko Caraka and
Puspita Anggraini Kaban and
Khairunnisa Supardi and
Robert Kurniawan and
Yunho Kim and
Syihabuddin Ahmad Mufti and
Prana Ugiana Gio and
Anjar Dimara Sakti and
Rung{-}Ching Chen and
Maengseok Noh and
Bens Pardamean},
title = {Investigating Adolescent Vulnerability in Indonesia: {A} Socio-Remote
Sensing Big Data Analytics Study Using Night Light Data},
journal = {{IEEE} Access},
volume = {12},
pages = {14800--14818},
year = {2024},
url = {https://doi.org/10.1109/ACCESS.2024.3355963},
doi = {10.1109/ACCESS.2024.3355963},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ToharudinCKSKKMGSCNP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PutriCTKCGSPPNACDFP24,
author = {Tafia Hasna Putri and
Rezzy Eko Caraka and
Toni Toharudin and
Yunho Kim and
Rung{-}Ching Chen and
Prana Ugiana Gio and
Anjar Dimara Sakti and
Resa Septiani Pontoh and
Indah Reski Pratiwi and
Farid Azhar Lutfi Nugraha and
Thalita Safa Azzahra and
Jessica Jesslyn Cerelia and
Gumgum Darmawan and
Defi Yusti Faidah and
Bens Pardamean},
title = {Fine-Tuning of Predictive Models {CNN-LSTM} and {CONV-LSTM} for Nowcasting
PM\({}_{\mbox{2.5}}\) Level},
journal = {{IEEE} Access},
volume = {12},
pages = {28988--29003},
year = {2024},
url = {https://doi.org/10.1109/ACCESS.2024.3368034},
doi = {10.1109/ACCESS.2024.3368034},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/PutriCTKCGSPPNACDFP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CarakaSKKGKMCZTGP24,
author = {Rezzy Eko Caraka and
Khairunnisa Supardi and
Puspita Anggraini Kaban and
Robert Kurniawan and
Prana Ugiana Gio and
Yunho Kim and
Syihabuddin Ahmad Mufti and
Rung{-}Ching Chen and
Muhammad Khahfi Zuhanda and
Avia Enggar Tyasti and
Noor Ell Goldameir and
Bens Pardamean},
title = {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},
journal = {{IEEE} Access},
volume = {12},
pages = {51536--51555},
year = {2024},
url = {https://doi.org/10.1109/ACCESS.2024.3380018},
doi = {10.1109/ACCESS.2024.3380018},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/CarakaSKKGKMCZTGP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/LeeKYC24,
author = {Hyunwoo Lee and
Yunho Kim and
Seungyeop Yang and
Hayoung Choi},
title = {Improved weight initialization for deep and narrow feedforward neural
network},
journal = {Neural Networks},
volume = {176},
pages = {106362},
year = {2024},
url = {https://doi.org/10.1016/j.neunet.2024.106362},
doi = {10.1016/J.NEUNET.2024.106362},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/LeeKYC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/KimOLCJJYH24,
author = {Yunho Kim and
Hyunsik Oh and
Jeonghyun Lee and
Jinhyeok Choi and
Gwanghyeon Ji and
Moonkyu Jung and
Donghoon Youm and
Jemin Hwangbo},
title = {Not Only Rewards but Also Constraints: Applications on Legged Robot
Locomotion},
journal = {{IEEE} Trans. Robotics},
volume = {40},
pages = {2984--3003},
year = {2024},
url = {https://doi.org/10.1109/TRO.2024.3400935},
doi = {10.1109/TRO.2024.3400935},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/KimOLCJJYH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-02989,
author = {Yunho Kim and
Jeonghyun Lee and
Choongin Lee and
Juhyeok Mun and
Donghoon Youm and
Jeongsoo Park and
Jemin Hwangbo},
title = {Learning Semantic Traversability with Egocentric Video and Automated
Annotation Strategy},
journal = {CoRR},
volume = {abs/2406.02989},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.02989},
doi = {10.48550/ARXIV.2406.02989},
eprinttype = {arXiv},
eprint = {2406.02989},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-02989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ToharudinCPKGSNNPPACDP23,
author = {Toni Toharudin and
Rezzy Eko Caraka and
Indah Reski Pratiwi and
Yunho Kim and
Prana Ugiana Gio and
Anjar Dimara Sakti and
Maengseok Noh and
Farid Azhar Lutfi Nugraha and
Resa Septiani Pontoh and
Tafia Hasna Putri and
Thalita Safa Azzahra and
Jessica Jesslyn Cerelia and
Gumgum Darmawan and
Bens Pardamean},
title = {Boosting Algorithm to Handle Unbalanced Classification of PM\({}_{\mbox{2.5}}\)
Concentration Levels by Observing Meteorological Parameters in Jakarta-Indonesia
Using AdaBoost, XGBoost, CatBoost, and LightGBM},
journal = {{IEEE} Access},
volume = {11},
pages = {35680--35696},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3265019},
doi = {10.1109/ACCESS.2023.3265019},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ToharudinCPKGSNNPPACDP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-12517,
author = {Yunho Kim and
Hyunsik Oh and
Jeonghyun Lee and
Jinhyeok Choi and
Gwanghyeon Ji and
Moonkyu Jung and
Donghoon Youm and
Jemin Hwangbo},
title = {Not Only Rewards But Also Constraints: Applications on Legged Robot
Locomotion},
journal = {CoRR},
volume = {abs/2308.12517},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.12517},
doi = {10.48550/ARXIV.2308.12517},
eprinttype = {arXiv},
eprint = {2308.12517},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-12517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03733,
author = {Hyunwoo Lee and
Yunho Kim and
Seungyeop Yang and
Hayoung Choi},
title = {Improved weight initialization for deep and narrow feedforward neural
network},
journal = {CoRR},
volume = {abs/2311.03733},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.03733},
doi = {10.48550/ARXIV.2311.03733},
eprinttype = {arXiv},
eprint = {2311.03733},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-03733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adcm/KimL22,
author = {Yunho Kim and
Dongsun Lee},
title = {Numerical investigation into the dependence of the Allen-Cahn equation
on the free energy},
journal = {Adv. Comput. Math.},
volume = {48},
number = {3},
pages = {36},
year = {2022},
url = {https://doi.org/10.1007/s10444-022-09955-1},
doi = {10.1007/S10444-022-09955-1},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adcm/KimL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/GulenkoYKYKKJY22,
author = {Oleksandra Gulenko and
Hyunmo Yang and
KiSik Kim and
Jin Young Youm and
Minjae Kim and
Yunho Kim and
Woonggyu Jung and
Joon{-}Mo Yang},
title = {Deep-Learning-Based Algorithm for the Removal of Electromagnetic Interference
Noise in Photoacoustic Endoscopic Image Processing},
journal = {Sensors},
volume = {22},
number = {10},
pages = {3961},
year = {2022},
url = {https://doi.org/10.3390/s22103961},
doi = {10.3390/S22103961},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/GulenkoYKYKKJY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KimH22,
author = {Yunho Kim and
Shin Hong},
title = {Learning-based mutant reduction using fine-grained mutation operators},
journal = {Softw. Test. Verification Reliab.},
volume = {32},
number = {7},
year = {2022},
url = {https://doi.org/10.1002/stvr.1786},
doi = {10.1002/STVR.1786},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KimH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccai/KimW22,
author = {Yunho Kim and
Honguk Woo},
title = {Integrating {A} Deep Learning-based Plane Detector in Mobile {AR}
Systems for Improvement of Plane Detection},
booktitle = {{ICCAI} '22: 8th International Conference on Computing and Artificial
Intelligence, Tianjin, China, March 18 - 21, 2022},
pages = {597--602},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3532213.3532304},
doi = {10.1145/3532213.3532304},
timestamp = {Fri, 15 Jul 2022 09:38:04 +0200},
biburl = {https://dblp.org/rec/conf/iccai/KimW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LeeAKK22,
author = {Ahcheong Lee and
Irfan Ariq and
Yunho Kim and
Moonzoo Kim},
title = {{POWER:} Program Option-Aware Fuzzer for High Bug Detection Ability},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {220--231},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00032},
doi = {10.1109/ICST53961.2022.00032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LeeAKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HerlimKK22,
author = {Robert Sebastian Herlim and
Yunho Kim and
Moonzoo Kim},
title = {{CITRUS:} Automated Unit Testing Tool for Real-world {C++} Programs},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {400--410},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00046},
doi = {10.1109/ICST53961.2022.00046},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/HerlimKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimH22,
author = {Yunho Kim and
Shin Hong},
title = {Learning-based Mutant Reduction Using Fine-grained Mutation Operators},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {464},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00065},
doi = {10.1109/ICST53961.2022.00065},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/KimH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/KimK0O22,
author = {Dohyeong Kim and
Yunho Kim and
Kyungjae Lee and
Songhwai Oh},
title = {Safety Guided Policy Optimization},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {2462--2467},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981030},
doi = {10.1109/IROS47612.2022.9981030},
timestamp = {Tue, 03 Jan 2023 14:18:21 +0100},
biburl = {https://dblp.org/rec/conf/iros/KimK0O22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rss/KimKH22,
author = {Yunho Kim and
Chanyoung Kim and
Jemin Hwangbo},
editor = {Kris Hauser and
Dylan A. Shell and
Shoudong Huang},
title = {Learning Forward Dynamics Model and Informed Trajectory Sampler for
Safe Quadruped Navigation},
booktitle = {Robotics: Science and Systems XVIII, New York City, NY, USA, June
27 - July 1, 2022},
year = {2022},
url = {https://doi.org/10.15607/RSS.2022.XVIII.069},
doi = {10.15607/RSS.2022.XVIII.069},
timestamp = {Thu, 20 Jul 2023 14:50:03 +0200},
biburl = {https://dblp.org/rec/conf/rss/KimKH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-08647,
author = {Yunho Kim and
Chanyoung Kim and
Jemin Hwangbo},
title = {Learning Forward Dynamics Model and Informed Trajectory Sampler for
Safe Quadruped Navigation},
journal = {CoRR},
volume = {abs/2204.08647},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.08647},
doi = {10.48550/ARXIV.2204.08647},
eprinttype = {arXiv},
eprint = {2204.08647},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-08647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-14893,
author = {YeonSu Kim and
Yoon A. Kim and
Seo Hwee Park and
Yunho Kim},
title = {Hybrid Numerical Modeling of Ballistic Clay under Low-Speed Impact
using Artificial Neural Networks},
journal = {CoRR},
volume = {abs/2205.14893},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.14893},
doi = {10.48550/ARXIV.2205.14893},
eprinttype = {arXiv},
eprint = {2205.14893},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-14893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-13344,
author = {Kihong Kim and
Yunho Kim and
Seokju Cho and
Junyoung Seo and
Jisu Nam and
Kychul Lee and
Seungryong Kim and
Kwanghee Lee},
title = {DiffFace: Diffusion-based Face Swapping with Facial Guidance},
journal = {CoRR},
volume = {abs/2212.13344},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.13344},
doi = {10.48550/ARXIV.2212.13344},
eprinttype = {arXiv},
eprint = {2212.13344},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-13344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LeeKKRB21,
author = {Nakwon Lee and
Yunho Kim and
Moonzoo Kim and
Duksan Ryu and
Jongmoon Baik},
title = {Directed Model Checking for Fast Abstract Reachability Analysis},
journal = {{IEEE} Access},
volume = {9},
pages = {158738--158750},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3130569},
doi = {10.1109/ACCESS.2021.3130569},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/LeeKKRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/YunK21,
author = {Joo Dong Yun and
Yunho Kim},
title = {Two-stage adaptive random Fourier sampling method for image reconstruction},
journal = {Pattern Recognit.},
volume = {117},
pages = {107990},
year = {2021},
url = {https://doi.org/10.1016/j.patcog.2021.107990},
doi = {10.1016/J.PATCOG.2021.107990},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pr/YunK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KimH21,
author = {Yunho Kim and
Shin Hong},
title = {{DEMINER:} test generation for high test coverage through mutant exploration},
journal = {Softw. Test. Verification Reliab.},
volume = {31},
number = {1-2},
year = {2021},
url = {https://doi.org/10.1002/stvr.1715},
doi = {10.1002/STVR.1715},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/KimH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/HerlimHKK21,
author = {Robert Sebastian Herlim and
Shin Hong and
Yunho Kim and
Moonzoo Kim},
editor = {Una{-}May O'Reilly and
Xavier Devroey},
title = {Empirical Study of Effectiveness of EvoSuite on the {SBST} 2020 Tool
Competition Benchmark},
booktitle = {Search-Based Software Engineering - 13th International Symposium,
{SSBSE} 2021, Bari, Italy, October 11-12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12914},
pages = {121--135},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88106-1\_9},
doi = {10.1007/978-3-030-88106-1\_9},
timestamp = {Mon, 04 Oct 2021 16:09:18 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/HerlimHKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-04741,
author = {Yunho Kim and
Bukun Son and
Dongjun Lee},
title = {Learning multiple gaits of quadruped robot using hierarchical reinforcement
learning},
journal = {CoRR},
volume = {abs/2112.04741},
year = {2021},
url = {https://arxiv.org/abs/2112.04741},
eprinttype = {arXiv},
eprint = {2112.04741},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-04741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cnsns/LeeK20,
author = {Dongsun Lee and
Yunho Kim},
title = {Novel mass-conserving Allen-Cahn equation for the boundedness of an
order parameter},
journal = {Commun. Nonlinear Sci. Numer. Simul.},
volume = {85},
pages = {105224},
year = {2020},
url = {https://doi.org/10.1016/j.cnsns.2020.105224},
doi = {10.1016/J.CNSNS.2020.105224},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cnsns/LeeK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KimLBK20,
author = {Yunho Kim and
Dongju Lee and
Junki Baek and
Moonzoo Kim},
title = {{MAESTRO:} Automated test generation framework for high test coverage
and reduced human effort in automotive industry},
journal = {Inf. Softw. Technol.},
volume = {123},
pages = {106221},
year = {2020},
url = {https://doi.org/10.1016/j.infsof.2019.106221},
doi = {10.1016/J.INFSOF.2019.106221},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/KimLBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nm/Kim19,
author = {Yunho Kim},
title = {A Newton's method characterization for real eigenvalue problems},
journal = {Numerische Mathematik},
volume = {142},
number = {4},
pages = {941--971},
year = {2019},
url = {https://doi.org/10.1007/s00211-019-01037-7},
doi = {10.1007/S00211-019-01037-7},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nm/Kim19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/KimMYK19,
author = {Yunho Kim and
Seokhyeon Mun and
Shin Yoo and
Moonzoo Kim},
title = {Precise Learn-to-Rank Fault Localization Using Dynamic and Static
Features of Target Programs},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {28},
number = {4},
pages = {23:1--23:34},
year = {2019},
url = {https://doi.org/10.1145/3345628},
doi = {10.1145/3345628},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/KimMYK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KimLBK19,
author = {Yunho Kim and
Dongju Lee and
Junki Baek and
Moonzoo Kim},
editor = {Helen Sharp and
Mike Whalen},
title = {Concolic testing for high test coverage and reduced human effort in
automotive industry},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {151--160},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-SEIP.2019.00024},
doi = {10.1109/ICSE-SEIP.2019.00024},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/KimLBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KimHK19,
author = {Yunho Kim and
Shin Hong and
Moonzoo Kim},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Target-driven compositional concolic testing with function summary
refinement for effective bug detection},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {16--26},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338934},
doi = {10.1145/3338906.3338934},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/KimHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvcir/KimC18,
author = {Yunho Kim and
Kwangsue Chung},
title = {Multipath-based transmission scheme for improving the QoE of {HTTP}
adaptive streaming},
journal = {J. Vis. Commun. Image Represent.},
volume = {55},
pages = {12--20},
year = {2018},
url = {https://doi.org/10.1016/j.jvcir.2018.05.017},
doi = {10.1016/J.JVCIR.2018.05.017},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jvcir/KimC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KimCK18,
author = {Yunho Kim and
Yunja Choi and
Moonzoo Kim},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Precise concolic unit testing of {C} programs using extended units
and symbolic alarm filtering},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {315--326},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180253},
doi = {10.1145/3180155.3180253},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KimCK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PhanKK18,
author = {Duy Loc Phan and
Yunho Kim and
Moonzoo Kim},
title = {{MUSIC:} Mutation Analysis Tool with High Configurability and Extensibility},
booktitle = {2018 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
Sweden, April 9-13, 2018},
pages = {40--46},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICSTW.2018.00026},
doi = {10.1109/ICSTW.2018.00026},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PhanKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimHKPK18,
author = {Yunho Kim and
Shin Hong and
Bongseok Ko and
Duy Loc Phan and
Moonzoo Kim},
title = {Invasive Software Testing: Mutating Target Programs to Diversify Test
Exploration for High Test Coverage},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {239--249},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2018.00032},
doi = {10.1109/ICST.2018.00032},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KimHKPK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HongKLJKKK17,
author = {Shin Hong and
Taehoon Kwak and
Byeongcheol Lee and
Yiru Jeon and
Bongseok Ko and
Yunho Kim and
Moonzoo Kim},
title = {{MUSEUM:} Debugging real-world multilingual programs using mutation
analysis},
journal = {Inf. Softw. Technol.},
volume = {82},
pages = {80--95},
year = {2017},
url = {https://doi.org/10.1016/j.infsof.2016.10.002},
doi = {10.1016/J.INFSOF.2016.10.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/HongKLJKKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/XuKKCR15,
author = {Zhihong Xu and
Yunho Kim and
Moonzoo Kim and
Myra B. Cohen and
Gregg Rothermel},
title = {Directed test suite augmentation: an empirical investigation},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {2},
pages = {77--114},
year = {2015},
url = {https://doi.org/10.1002/stvr.1562},
doi = {10.1002/STVR.1562},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/XuKKCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HongLKJKKK15,
author = {Shin Hong and
Byeongcheol Lee and
Taehoon Kwak and
Yiru Jeon and
Bongsuk Ko and
Yunho Kim and
Moonzoo Kim},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Mutation-Based Fault Localization for Real-World Multilingual Programs
{(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {464--475},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.14},
doi = {10.1109/ASE.2015.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HongLKJKKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/KimGV14,
author = {Yunho Kim and
John B. Garnett and
Luminita A. Vese},
title = {Image Restoration Using One-Dimensional Sobolev Norm Profiles of Noise
and Texture},
journal = {{SIAM} J. Imaging Sci.},
volume = {7},
number = {1},
pages = {366--390},
year = {2014},
url = {https://doi.org/10.1137/130911275},
doi = {10.1137/130911275},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamis/KimGV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/KimT14,
author = {Yunho Kim and
Hemant D. Tagare},
title = {Intensity Nonuniformity Correction for Brain {MR} Images with Known
Voxel Classes},
journal = {{SIAM} J. Imaging Sci.},
volume = {7},
number = {1},
pages = {528--557},
year = {2014},
url = {https://doi.org/10.1137/130924688},
doi = {10.1137/130924688},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamis/KimT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KimK14,
author = {Yunho Kim and
Moonzoo Kim},
editor = {Sungdeok (Steve) Cha and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Gihwon Kwon},
title = {SAT-Based Bounded Software Model Checking for Embedded Software: {A}
Case Study},
booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
South Korea, December 1-4, 2014. Volume 1: Research Papers},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/APSEC.2014.17},
doi = {10.1109/APSEC.2014.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KimK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MoonKKY14,
author = {Seokhyeon Moon and
Yunho Kim and
Moonzoo Kim and
Shin Yoo},
title = {Ask the Mutants: Mutating Faulty Programs for Fault Localization},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
Ohio, {USA}},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICST.2014.28},
doi = {10.1109/ICST.2014.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MoonKKY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimXKCR14,
author = {Yunho Kim and
Zhihong Xu and
Moonzoo Kim and
Myra B. Cohen and
Gregg Rothermel},
title = {Hybrid Directed Test Suite Augmentation: An Interleaving Framework},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
Ohio, {USA}},
pages = {263--272},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICST.2014.39},
doi = {10.1109/ICST.2014.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KimXKCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/GuidottiKL13,
author = {Patrick Guidotti and
Yunho Kim and
James V. Lambers},
title = {Image Restoration with a New Class of Forward-Backward-Forward Diffusion
Equations of Perona-Malik Type with Applications to Satellite Image
Enhancement},
journal = {{SIAM} J. Imaging Sci.},
volume = {6},
number = {3},
pages = {1416--1444},
year = {2013},
url = {https://doi.org/10.1137/120882895},
doi = {10.1137/120882895},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamis/GuidottiKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimKKLJK13,
author = {Yunho Kim and
Youil Kim and
Taeksu Kim and
Gunwoo Lee and
Yoonkyu Jang and
Moonzoo Kim},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated unit testing of large industrial embedded software using
concolic testing},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {519--528},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693109},
doi = {10.1109/ASE.2013.6693109},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KimKKLJK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KimKC12,
author = {Moonzoo Kim and
Yunho Kim and
Yunja Choi},
title = {Concolic testing of the multi-sector read operation for flash storage
platform software},
journal = {Formal Aspects Comput.},
volume = {24},
number = {3},
pages = {355--374},
year = {2012},
url = {https://doi.org/10.1007/s00165-011-0200-9},
doi = {10.1007/S00165-011-0200-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KimKC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/FornasierKLS12,
author = {Massimo Fornasier and
Yunho Kim and
Andreas Langer and
Carola{-}Bibiane Sch{\"{o}}nlieb},
title = {Wavelet Decomposition Method for L\({}_{\mbox{2/}}\)/TV-Image Deblurring},
journal = {{SIAM} J. Imaging Sci.},
volume = {5},
number = {3},
pages = {857--885},
year = {2012},
url = {https://doi.org/10.1137/100819801},
doi = {10.1137/100819801},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamis/FornasierKLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KimKKJ12,
author = {Yunho Kim and
Moonzoo Kim and
Young Joo Kim and
Yoonkyu Jang},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Industrial application of concolic testing approach: {A} case study
on libexif by using {CREST-BV} and {KLEE}},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1143--1152},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227105},
doi = {10.1109/ICSE.2012.6227105},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KimKKJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimKR12,
author = {Moonzoo Kim and
Yunho Kim and
Gregg Rothermel},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {340--349},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.114},
doi = {10.1109/ICST.2012.114},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KimKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimKJ12,
author = {Moonzoo Kim and
Yunho Kim and
Yoonkyu Jang},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Industrial Application of Concolic Testing on Embedded Software: Case
Studies},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {390--399},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.119},
doi = {10.1109/ICST.2012.119},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KimKJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/TongKZSLMTV12,
author = {Melissa Tong and
Yunho Kim and
Yunho Zhan and
Guillermo Sapiro and
Christophe Lenglet and
Bryon A. Mueller and
Paul M. Thompson and
Luminita A. Vese},
title = {A variational model for denoising high angular resolution diffusion
imaging},
booktitle = {9th {IEEE} International Symposium on Biomedical Imaging: From Nano
to Macro, {ISBI} 2012, May 2-5, 2012, Barcelona, Spain, Proceedings},
pages = {530--533},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISBI.2012.6235602},
doi = {10.1109/ISBI.2012.6235602},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isbi/TongKZSLMTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KimKK11,
author = {Moonzoo Kim and
Yunho Kim and
Hotae Kim},
title = {A Comparative Study of Software Model Checkers as Unit Testing Tools:
An Industrial Case Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {2},
pages = {146--160},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.68},
doi = {10.1109/TSE.2010.68},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KimKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KimK11,
author = {Moonzoo Kim and
Yunho Kim},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Automated Analysis of Industrial Embedded Software},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {51--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_5},
doi = {10.1007/978-3-642-24372-1\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/KimK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/KimGV11,
author = {Yunho Kim and
John B. Garnett and
Luminita A. Vese},
editor = {Beno{\^{\i}}t Macq and
Peter Schelkens},
title = {A convex minimization model in image restoration via one-dimensional
Sobolev norm profiles},
booktitle = {18th {IEEE} International Conference on Image Processing, {ICIP} 2011,
Brussels, Belgium, September 11-14, 2011},
pages = {693--696},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICIP.2011.6116647},
doi = {10.1109/ICIP.2011.6116647},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/KimGV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/XuKKR11,
author = {Zhihong Xu and
Yunho Kim and
Moonzoo Kim and
Gregg Rothermel},
editor = {Tadashi Dohi and
Bojan Cukic},
title = {A Hybrid Directed Test Suite Augmentation Technique},
booktitle = {{IEEE} 22nd International Symposium on Software Reliability Engineering,
{ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011},
pages = {150--159},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISSRE.2011.21},
doi = {10.1109/ISSRE.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/XuKKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KimK11,
author = {Yunho Kim and
Moonzoo Kim},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {{SCORE:} a scalable concolic testing tool for reliable embedded software},
booktitle = {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), Szeged, Hungary, September 5-9,
2011},
pages = {420--423},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025180},
doi = {10.1145/2025113.2025180},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KimK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KimKD10,
author = {Yunho Kim and
Moonzoo Kim and
Nam Dang},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Scalable Distributed Concolic Testing: {A} Case Study on a Flash Storage
Platform},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {199--213},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_14},
doi = {10.1007/978-3-642-14808-8\_14},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KimKD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XuKKRC10,
author = {Zhihong Xu and
Yunho Kim and
Moonzoo Kim and
Gregg Rothermel and
Myra B. Cohen},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Directed test suite augmentation: techniques and tradeoffs},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {257--266},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882330},
doi = {10.1145/1882291.1882330},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/XuKKRC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmi/KimTTVZ09,
author = {Yunho Kim and
Paul M. Thompson and
Arthur W. Toga and
Luminita A. Vese and
Liang Zhan},
editor = {Jerry L. Prince and
Dzung L. Pham and
Kyle J. Myers},
title = {{HARDI} Denoising: Variational Regularization of the Spherical Apparent
Diffusion Coefficient \emph{sADC}},
booktitle = {Information Processing in Medical Imaging, 21st International Conference,
{IPMI} 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5636},
pages = {515--527},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02498-6\_43},
doi = {10.1007/978-3-642-02498-6\_43},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmi/KimTTVZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/KimK09,
author = {Moonzoo Kim and
Yunho Kim},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Concolic Testing of the Multi-sector Read Operation for Flash Memory
File System},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {251--265},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_17},
doi = {10.1007/978-3-642-10452-7\_17},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/KimK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimaging/KimV08,
author = {Yunho Kim and
Luminita A. Vese},
editor = {Charles A. Bouman and
Eric L. Miller and
Ilya Pollak},
title = {Functional minimization problems in image processing},
booktitle = {Computational Imaging VI, part of the IS{\&}T-SPIE Electronic
Imaging Symposium, San Jose, CA, USA, January 28-29, 2008, Proceedings},
series = {{SPIE} Proceedings},
volume = {6814},
pages = {68140},
publisher = {{SPIE}},
year = {2008},
url = {https://doi.org/10.1117/12.775699},
doi = {10.1117/12.775699},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cimaging/KimV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimCKK08,
author = {Moonzoo Kim and
Yunja Choi and
Yunho Kim and
Hotae Kim},
title = {Pre-testing Flash Device Driver through Model Checking Techniques},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {475--484},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.55},
doi = {10.1109/ICST.2008.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KimCKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimKK08,
author = {Moonzoo Kim and
Yunho Kim and
Hotae Kim},
title = {Unit Testing of Flash Memory Device Driver through a SAT-Based Model
Checker},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.30},
doi = {10.1109/ASE.2008.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KimKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KimCKK08,
author = {Moonzoo Kim and
Yunja Choi and
Yunho Kim and
Hotae Kim},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Formal Verification of a Flash Memory Device Driver - An Experience
Report},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {144--159},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_12},
doi = {10.1007/978-3-540-85114-1\_12},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KimCKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
