김정인 (Jeongin Kim)

석사과정 · 소프트웨어 테스팅 연구실 · 경북대학교 컴퓨터학부

MS Candidate · Software Testing Lab · Kyungpook National University

대구광역시, 대한민국 / Daegu, Republic of Korea

연구 관심사 / Research interests

SIL 소프트웨어 인 더 루프 (Software-in-the-Loop) — HW 없이 제어/임베디드 로직을 루프에서 검증 Exercising control and embedded logic in the loop, without the hardware.
LLM LLM 기반 테스팅 (LLM-based Testing) — 대규모 언어모델을 테스트 오라클/생성자로 활용 Using large language models as test oracles and generators.
SLM 소형 언어모델 테스팅 (Small-LM Testing) — 온디바이스 SLM을 이용한 경량 퍼저/오라클 Lightweight fuzzers and oracles built on on-device SLMs.

프로젝트 / Projects

오늘 배운 것 (TIL(Today I Learned)), 2025 — 쌓아가는 연구/학습 노트. til.99jik.com 에서 별도 운영. Daily research/learning notes, deployed separately at til.99jik.com.

논문 / Publications

2025 (draft) — Small Language Models as Differential Oracles for Underspecified Library APIs (first author)

경력 · 학력 / Experience

2024.09 – 석사과정, 소프트웨어 테스팅 연구실 (MS candidate, Software Testing Lab), 경북대
2020 – 2024 컴퓨터학부 학사 (BS in Computer Science & Eng.), 경북대

스킬 / Skills

languages: C, Python, Rust, TypeScript
tools: LLVM, tree-sitter, pytest, GitHub Actions
research: Fuzzing, Oracle Problem, LLM/SLM Integration, SIL

연락처 / Contact