	제목(Title)	커버리지 달성 성능 향상을 위한 반복 횟수를 제한하는 Concolic 테스팅 경로 탐색 기법
	저자(Author)	최한솔 홍 신 Hansol Choe Shin Hong
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 48 NO. 02 PP. 0201 ~ 0210 2021. 02
	제목(Title)	CRESTIVE-DX: 임베디드 소프트웨어에 대해 테스트케이스 생성을 지원하는 분산 Concolic 테스팅 도구
	저자(Author)	임혜린 최한솔 김효림 홍신 Shin Hong Hyerin Leem Hansol Choe Hyorim Kim
	수록저널(Journal)	정보처리학회논문지 소프트웨어 및 데이터 공학
	원문수록처(Citation)	VOL 09 NO. 08 PP. 0229 ~ 0234 2020. 08

학술대회 프로시딩 (3)

	제목(Title)	비정형적 아동 학습지 이미지의 OCR 후처리를 위한 신경망 언어 모델 기반 텍스트 편집 도구
	저자(Author)	안의진 양희찬 지은경 홍신 Eujin Ahn Heechan Yang Eunkyoung Jee Shin Hong
	수록저널(Journal)
	원문수록처(Citation)	VOL 49 NO. 02 PP. 1444 ~ 1446 2021. 12
	제목(Title)	Rust 멀티쓰레드 프로그램 테스팅을 위한 노이즈 삽입 기반 랜덤 테스팅 기법
	저자(Author)	김기은 박은찬 홍신 Kieun Kim Eunchan Park Shin Hong
	수록저널(Journal)
	원문수록처(Citation)	VOL 49 NO. 02 PP. 0256 ~ 0258 2022. 12