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. Prior to joing UNIST in 2021, she worked as a postdoc researcher at Purdue University, USA and worked with Prof. Xiangyu Zhang and Prof. Lin Tan. She obtained a PhD degree from Hong Kong University of Science and Technology in 2019 under the supervision of Prof. Sunghun Kim and Prof. Shing-Chi Cheung.
Her research focuses on automated software testing with emphasis on unit test generation and its practical usage. Recently, she is working on developing testing techniques for the machine learning frameworks and applications. In the past, she also worked on defect prediction for API testing, regression testing on biomedical infrastructure software, and detecting incomplete bug fixes.
Research Interests
Automated software testing and analysis in the artificial intelligence domain, test generation, fuzzing, mining software data, search-based software engineering, regression testing, and defect prediction.
For Prospective Students
We are looking for research students in 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 Ulsan National Institute of Science and Technology, 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
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 at UNIST
- Sehoon Kim, PhD. Fall 2022 ~ Present
- Seongdeok Seo, MS. Winter 2022 ~ Present
- Sangjune Park, MS. Fall 2022 ~ Present
- Dahyeon Park, MS. Spring 2023 ~ Present
- Byoungwoo Ryu, Undergrad. Winter 2022 ~ Present
- Thu Phuong Nguyen, Undergrad. Winter 2023 ~ Present
- Youngchan Jung, Undergrad. Spring 2023 ~ Present
- Current Visitors
- Dr. Judy Lee from IBM, Research Assistant Professor at UNIST. Winter 2023 ~ Present
- Former Students at UNIST
- Eunbi Oh, Undergrad at Dongkook University. Fall 2022
- Sehoon Kim, MS at Seoul National University. Spring 2022 ~ Summer 2022
- Sangjune Park, Undergrad at UNIST. Summer 2021 ~ Summer 2022
- Dahyeon Park, Undergrad at UNIST. Winter 2022 ~ Summer 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 2021, Spring 2023
- UNIST. CSE 332: Theory of Computation. Spring 2022
- UNIST, CSE 552: Program Analysis. Spring 2022
- UNIST. CSE 271: Principles of Programming Languages. Fall 2021
- UNIST. CSE 524: Advanced Software Engineering. 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
- Invited talks
- Automated Software Testing: How Far are We? at KAIST, Spring 2022
- Automated Software Testing: How Far are We? at Handong University, Spring 2022
- Automated Software Testing for Machine Learning Software at Korean Conference of Software Engineering, Winter 2021
- Automated Software Testing for Machine Learning Software at Software Disaster Research Center, Fall 2021
- Automated Software Testing for Machine Learning Software at Korea Computer Congress 2021, Summer 2021
- Automated Software Testing for Machine Learning Software at Ulsan National Institute of Science and Technology, Spring 2021
- Automated Software Testing for Deep Learning Frameworks at Ulsan National Institute of Science and Technology, Fall 2020
- Which Generated Test Failures are Fault Revealing? at Korea Advanced Institute of Science and Technology, Spring 2019
- REMI: Risk Evaluation Method for API Testing at Samsung Electronics, Fall 2014
- Efficient Regression Testing of Ontology-Driven System at Hong Kong University of Science and Technology, Fall 2013
- Conference talks
- Which Generated Test Failures are Fault Revealing?, ESEC/FSE 2018
- 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
- 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, and 2023.
- International Conference on Automation of Software Test (AST), 2020.
- Workshop on Deep Data Intelligence for Finance at International Conference on Data Mining (ICDM), 2020.
- Artifact Evaluation Committee
- International Conference on Object-Oriented Programming,Systems, Languages & Applications (OOPSLA), 2020.
- Reviewer
- Transactions on Software Engineering and Methodology (TOSEM) 2022-2023
- Transactions on Software Engineering (TSE) 2017-2023
- 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.