About me
Mijung is an assistant professor at the Computer Science and Engineering department of UNIST (Ulsan National Institute of Science and Technology), South Korea. She is leading Software Testing and Analysis Research Lab at UNIST. Before joining UNIST, she worked as a postdoc researcher at Purdue University, USA with Prof. Xiangyu Zhang and Prof. Lin Tan. She obtained a PhD degree from Hong Kong University of Science and Technology under the supervision of Prof. Sunghun Kim and Prof. Shing-Chi Cheung.
Her research focuses on automated software testing with an emphasis on test generation and its practical usage. Recently, she has been working on developing testing techniques for machine learning frameworks and applications. In the past, she also worked on defect prediction for API testing, regression testing on biomedical infrastructure, and detecting incomplete bug fixes.
Research Interests
Automated software testing and analysis in the artificial intelligence domain, test generation, fuzzing, search-based software engineering, regression testing, and defect prediction.
For Prospective Students
We are looking for research students at all levels, undergraduate interns, MS, MS-PhD, and PhD. If you are interested, please send an email to Mijung at mijungk at unist dot ac dot kr. For more information about our lab, please visit our lab introduction page here.
Education
- Ph.D Hong Kong University of Science and Technology, Hong Kong, China
Advisors: Sunghun Kim and Shing-Chi Cheung - M.S. Georgia Institute of Technology, Georgia, USA
Advisor: Mary Jean Harrold - B.S. University of Illinois at Urbana-Champaign, Illinois, USA
Work Experience
- Assistant Professor at UNIST, South Korea
- Postdoc at Purdue University, USA
- Visiting scholar at Southern University of Science and Technology, Shenzhen, China
- Research assistant at Hong Kong University of Science and Technology, Hong Kong, China
- Research intern at Accenture Technology Lab, San Jose, California, USA
- Graduate research assistant at Georgia Institute of Technology, USA
- Software engineer at Samsung Electronics Mobile Division, South Korea
Publications
CMASan: Custom Memory Allocator-aware Address Sanitizer
Junwha Hong, Wonil Jang, Mijung Kim, Lei Yu, Yonghwi Kwon, Yuseok Jeon. CMASan: Custom Memory Allocator-aware Address Sanitizer. S&P 2025. ToAppear.
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim. Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries. ICSE 2025. ToAppear.
How Effective are Large Language Models in Generating Software Specifications?
Danning Xie*, Byoungwoo Yoo*, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy Lee. How Effective are Large Language Models in Generating Software Specifications? SANER 2025. ToAppear. *: co-first authors. PDF Slides BibTeX
Testing Diverse Geographical Features of Autonomous Driving Systems
Seongdeok Seo, Judy Lee, Mijung Kim. Testing Diverse Geographical Features of Autonomous Driving Systems. ISSRE 2024. 439-450. PDF Slides BibTeX
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Mike Godfrey. DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions. ISSTA 2022. 176-188. PDF Slides BibTeX
DEVIATE: A Deep Learning Variance Testing Framework
Hung Viet Pham, Mijung Kim, Lin Tan, Yaoliang Yu, Nachiappan Nagappan. “DEVIATE: A Deep Learning Variance Testing Framework” ASE 2021 Tool. PDF Slides BibTeX
Novel Natural Language Summarization of Program Code via Leveraging Multiple Input Representations
Fuxiang Chen, Mijung Kim, Jaegul Choo. “Novel Natural Language Summarization of Program Code via Leveraging Multiple Input Representations” EMNLP 2021. PDF Slides BibTeX
Which Generated Test Failures are Fault Revealing?
Mijung Kim, Shing-Chi Cheung, and Sunghun Kim. "Which Generated Test Failures are Fault-revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF." ESEC/FSE 2018. 679-690. PDF Slides BibTeX
REMI: Defect Prediction for Efficient API Testing
Mijung Kim, Jaechang Nam, Jaehyuk Yeon, Soonhwang Choi, and Sunghun Kim. "REMI: Defect Prediction for Efficient API Testing." ESEC/FSE 2015. 990-993. PDF Slides BibTeX
Efficient Regression Testing of Ontology-driven Systems
Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe. "Efficient Regression Testing of Ontology-driven Systems." ISSTA 2012. 320-330. PDF Slides BibTeX
An Informatics Framework for Testing Data Integrity and Correctness of Federated Biomedical Databases
Mijung Kim, Tahsin Kurc, Alessandro Orso, Jake Cobb, David Gutman, Mary Jean Harrold, Andrew Post, Ashish Sharma, and Joel Saltz. "An Informatics Framework for Testing Data Integrity and Correctness of Federated Biomedical Databases." AMIA Joint Summits on Clinical Research Informatics 2011. 22-26. PDF Slides BibTeX
Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes
Mijung Kim, Saurabh Sinha, Carsten Gorg, Hina Shah, Mary Jean Harrold, and Mangala Gowri Nanda. "Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes." ICST 2010. 383-392. PDF Slides BibTeX
Fault Localization and Repair for Java Runtime Exceptions
Saurabh Sinha, Hina Shah, Carsten Gorg, Shujuan Jiang, Mijung Kim, and Mary Jean Harrold. "Fault Localization and Repair for Java Runtime Exceptions." ISSTA 2009. 153-164. PDF Slides BibTeX
Members
- Current Students
- Sehoon Kim, PhD. Fall 2022 ~ Present
- Minsu Jung, MS-PhD. Winter 2025 ~ Present
- Dahyeon Park, MS. Spring 2023 ~ Present
- Yonghyeon Kim, MS. Spring 2024 ~ Present
- Jooyoung Jang, MS. Spring 2024 ~ Present
- Yunseo Lee, MS. Spring 2025 ~ Present
- Byoungwoo Yoo, Undergrad Intern. Winter 2022 ~ Present
- Usmonali Pakhlavonov, Undergrad Intern. Summer 2024 ~ Present
- Aliona Pirozhenko, Undergrad Intern. Fall 2024 ~ Present
- Hwijun Kim, Undergrad Intern. Winter 2025 ~ Present
- Alumni
- Sangjune Park, MS. Graduated in 2024. (First job - SK Hynix, South Korea)
- Seongdeok Seo, MS. Graduated in 2024. (First job - Hyundai Motors, South Korea)
- Former Visitors
- Dr. Judy Lee from IBM, Research Assistant Professor at UNIST. Winter 2023 ~ Fall 2023
- Former Students
- Jaehyun Bhang, Undergrad. Fall 2023 ~ Winter 2024
- Thu Phuong Nguyen, Undergrad. Winter 2023 ~ Winter 2024
- Youngchan Jung, Undergrad. Spring 2023 ~ Fall 2023
- Eunbi Oh, Undergrad at Dongkook University. Fall 2022
- Gibeom Im, Undergrad at UNIST. Summer 2021 ~ Fall 2021
- Jongmin Ahn, Undergrad at UNIST. Fall 2021
- Soyeon Park, Undergrad at UNIST. Summer 2021
Teaching Experience
- Instructor
- UNIST. CSE 324: Software Engineering. Spring 2024, Spring 2023, Spring 2021.
- UNIST. CSE 332: Theory of Computation. Spring 2022.
- UNIST, CSE 552: Program Analysis. Fall 2024, Spring 2022.
- UNIST. CSE 271: Principles of Programming Languages. Fall 2021.
- UNIST. CSE 524: Advanced Software Engineering. Spring 2025, Fall 2023, Fall 2021.
- Teaching assistant
- Hong Kong University of Science and Technology. CSE 2011: Object-Oriented Programming. Spring 2018
- Hong Kong University of Science and Technology. CSE 3111: Software Engineering. Fall 2017
- Hong Kong University of Science and Technology. CSE 3111: Software Engineering. Fall 2016
- Georgia Institute of Technology. CS 6340: Software Testing and Analysis. Spring 2013
- Student mentoring
- Danning Xie, Purdue University. 2020.
- Yitong Li, Purdue University. 2020.
- Yi Liu, Undergraduate at Southern University of Science and Technology. Spring 2019
- Junrong Xie, MS at Hong Kong University of Science and Technology. Spring 2015
Talks
- Fuzzing Deep Learning APIs. Korean Conference of Software Engineering 2025
- Testing for AI Software. Software Engineering Society in Korea 2024
- Testing AI Software Systems. Korea Computer Congress 2024
- Testing AI Software Systems. Software Disaster Research Center 2023
- Fuzzing Deep Learning Frameworks. Postech 2023
- Automated Software Testing: How Far are We? University of British Columbia 2022
- Introducing Software Testing and Analysis Research (STAR) Lab. Nanyang Technological University 2022
- Automated Software Testing: How Far are We? KAIST 2022
- Automated Software Testing: How Far are We? Handong University 2022
- Automated Software Testing for Machine Learning Software. Gyeongsang National University 2022
- Fuzzing AI Software Systems. Seoul National University 2022
- Automated Software Testing for Machine Learning Software. Korean Conference of Software Engineering 2021
- Automated Software Testing for Machine Learning Software. Software Disaster Research Center 2021
- Automated Software Testing for Machine Learning Software. Korea Computer Congress 2021
- Automated Software Testing for Deep Learning Frameworks. UNIST 2020, 2021.
- Which Generated Test Failures are Fault Revealing? KAIST 2019
- Which Generated Test Failures are Fault Revealing? ESEC/FSE 2018
- REMI: Risk Evaluation Method for API Testing. Samsung Electronics 2014
- Efficient Regression Testing of Ontology-Driven System. HKUST 2013
- Efficient Regression Testing of Ontology-Driven System. ISSTA 2012
- An Informatics Framework for Testing Data Integrity and Correctness of Federated Biomedical Databases. AMIA-CRI 2011
- Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes. ICST 2010
Service
- Program Committee
- International Conference on Software Engineering (ICSE), 2025 * International Symposium on Software Testing and Analysis (ISSTA) - Tool Demo, 2025
- Asia-Pacific Software Engineering Conference (APSEC), 2023
- International Conference on Software Engineering, Management and Applications (SERA), 2023
- Foundations on Software Engineering (FSE) - Student Research Competition, 2022 * Korean Conference on Software Engineering (KCSE), 2021, 2022, 2023, 2024, 2025.
- International Conference on Automation of Software Test (AST), 2020.
- Workshop on Deep Data Intelligence for Finance at International Conference on Data Mining (ICDM), 2020.
- International Conference on Software Engineering (ICSE), 2025 * International Symposium on Software Testing and Analysis (ISSTA) - Tool Demo, 2025
- Artifact Evaluation Committee
- International Conference on Object-Oriented Programming,Systems, Languages & Applications (OOPSLA), 2020.
- Reviewer
- Transactions on Software Engineering and Methodology (TOSEM) 2022-2024
- Transactions on Software Engineering (TSE) 2017-2024
- International Conference on Software Engineering Advances (ICSEA) 2019
- Jordanian Journal of Computers and Information Technology (JJCIT) 2017
- Mining Software Repository (MSR) 2017
- International Conference on Software Analysis, Evolution and Reengineering (SANER) 2016-2017
- External Reviewer
- Foundations on Software Engineering (FSE) 2020
- International Symposium on Software Testing and Analysis (ISSTA) 2020
- Internetware 2019
- Foundations on Software Engineering (FSE) 2018
- International Conference on Software Engineering (ICSE) 2016-2017
- Foundations on Software Engineering (FSE) 2015
- International Conference on Software Testing, Verification and Validation (ICST) 2013
Patents
- Kunal Taneja, Teresa Tung, and Mijung Kim. Testing Framework for Policy-based Workflows. US Patent #20150095895. April, 2015.
- Kunal Taneja, Teresa Tung, and Mijung Kim. Testing Framework for Policy-based Workflows. European Patent #14187280.4-1951. October, 2014.