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.
Publications
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