ZigZagFuzz: Interleaved Fuzzing of Program Options and Files
Lee, Ahcheong, Choi, Youngseok, Hong, Shin, Kim, Yunho, Cho, Kyutae, Kim, Moonzoo
ACM Trans. Softw. Eng. Methodol.
Archive
Scientific Contributions
본 연구실의 학술지, 학회 논문 및 기술 보고서의 기록입니다.
2025
3 PublicationsRGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes
Park, Junyoung, Kim, Yunho, Yun, Insu
2025 IEEE Symposium on Security and Privacy (SP)
RCFuzzer: Recommendation-based Collaborative Fuzzer
Hyeonmin Mo, Jongmun Yang, Yunho Kim
Journal of Systems and Software
2022
3 PublicationsPOWER: Program Option-Aware Fuzzer for High Bug Detection Ability
Lee, Ahcheong, Ariq, Irfan, Kim, Yunho, Kim, Moonzoo
2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs
Herlim, Robert Sebastian, Kim, Yunho, Kim, Moonzoo
2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
Learning-based mutant reduction using fine-grained mutation operators
Kim, Yunho, Hong, Shin
Software Testing, Verification and Reliability
2021
3 PublicationsDEMINER: test generation for high test coverage through mutant exploration
Kim, Yunho, Hong, Shin
Software Testing, Verification and Reliability
Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark
Herlim, Robert Sebastian, Hong, Shin, Kim, Yunho, Kim, Moonzoo
Search-Based Software Engineering
Directed Model Checking for Fast Abstract Reachability Analysis
Lee, Nakwon, Kim, Yunho, Kim, Moonzoo, Ryu, Duksan, Baik, Jongmoon
IEEE Access
2020
1 PublicationMAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry
Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
Information and Software Technology
2019
3 PublicationsTarget-driven compositional concolic testing with function summary refinement for effective bug detection
Kim, Yunho, Hong, Shin, Kim, Moonzoo
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry
Kim, Yunho, Lee, Dongju, Baek, Junki, Kim, Moonzoo
2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
Kim, Yunho, Mun, Seokhyeon, Yoo, Shin, Kim, Moonzoo
ACM Trans. Softw. Eng. Methodol.
2018
3 PublicationsInvasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage
Kim, Yunho, Hong, Shin, Ko, Bongseok, Phan, Duy Loc, Kim, Moonzoo
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility
Phan, Duy Loc, Kim, Yunho, Kim, Moonzoo
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering
Kim, Yunho, Choi, Yunja, Kim, Moonzoo
Proceedings of the 40th International Conference on Software Engineering
2017
1 PublicationMUSEUM: Debugging real-world multilingual programs using mutation analysis
Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim
Information and Software Technology
2015
2 PublicationsDirected test suite augmentation: an empirical investigation
Xu, Zhihong, Kim, Yunho, Kim, Moonzoo, Cohen, Myra B., Rothermel, Gregg
Software Testing, Verification and Reliability
Mutation-Based Fault Localization for Real-World Multilingual Programs (T)
Hong, Shin, Lee, Byeongcheol, Kwak, Taehoon, Jeon, Yiru, Ko, Bongsuk, Kim, Yunho, Kim, Moonzoo
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2014
3 PublicationsAsk the Mutants: Mutating Faulty Programs for Fault Localization
Moon, Seokhyeon, Kim, Yunho, Kim, Moonzoo, Yoo, Shin
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation
Hybrid Directed Test Suite Augmentation: An Interleaving Framework
Kim, Yunho, Zu, Zhihong, Kim, Moonzoo, Cohen, Myra B., Rothermel, Gregg
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study
Kim, Yunho, Kim, Moonzoo
2014 21st Asia-Pacific Software Engineering Conference
2013
1 PublicationAutomated unit testing of large industrial embedded software using concolic testing
Kim, Yunho, Kim, Youil, Taeksu Kim, Gunwoo Lee, Jang, Yoonkyu, Kim, Moonzoo
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2012
4 PublicationsIndustrial Application of Concolic Testing on Embedded Software: Case Studies
Kim, Moonzoo, Kim, Yunho, Jang, Yoonkyu
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation
Kim, Moonzoo, Kim, Yunho, Rothermel, Gregg
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Concolic testing of the multi-sector read operation for flash storage platform software
Kim, Moonzoo, Kim, Yunho, Choi, Yunja
Formal Aspects of Computing
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
Kim, Yunho, Kim, Moonzoo, Kim, Young Joo, Jang, Yoonkyu
2012 34th International Conference on Software Engineering (ICSE)
2011
4 PublicationsA Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
Kim, Moonzoo, Kim, Yunho, Kim, Hotae
IEEE Transactions on Software Engineering
SCORE: a scalable concolic testing tool for reliable embedded software
Kim, Yunho, Kim, Moonzoo
Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering
Automated Analysis of Industrial Embedded Software
Kim, Moonzoo, Kim, Yunho
Automated Technology for Verification and Analysis
A Hybrid Directed Test Suite Augmentation Technique
Xu, Zhihong, Kim, Yunho, Kim, Moonzoo, Rothermel, Gregg
2011 IEEE 22nd International Symposium on Software Reliability Engineering
2010
2 PublicationsScalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Kim, Yunho, Kim, Moonzoo, Dang, Nam
Theoretical Aspects of Computing -- ICTAC 2010
Directed test suite augmentation: techniques and tradeoffs
Xu, Zhihong, Kim, Yunho, Kim, Moonzoo, Rothermel, Gregg, Cohen, Myra B.
Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering
2009
2 PublicationsHARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient sADC
Kim, Yunho, Thompson, Paul M., Toga, Arthur W., Vese, Luminita, Zhan, Liang
Information Processing in Medical Imaging
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
Kim, Moonzoo, Kim, Yunho
Formal Methods: Foundations and Applications
2008
3 PublicationsPre-testing Flash Device Driver through Model Checking Techniques
Kim, Moonzoo, Choi, Yunja, Kim, Yunho, Kim, Hotae
2008 1st International Conference on Software Testing, Verification, and Validation
Formal Verification of a Flash Memory Device Driver -- An Experience Report
Kim, Moonzoo, Choi, Yunja, Kim, Yunho, Kim, Hotae
Model Checking Software
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Kim, Moonzoo, Kim, Yunho, Kim, Hotae
2008 23rd IEEE/ACM International Conference on Automated Software Engineering