	커버리지 달성 성능 향상을 위한 반복 횟수를 제한하는 Concolic 테스팅 경로 탐색 기법
	최한솔 홍 신 Hansol Choe Shin Hong
	정보과학회논문지, VOL 48 NO. 02 PP. 0201 ~ 0210 2021. 02
	CRESTIVE-DX: 임베디드 소프트웨어에 대해 테스트케이스 생성을 지원하는 분산 Concolic 테스팅 도구
	임혜린 최한솔 김효림 홍신 Shin Hong Hyerin Leem Hansol Choe Hyorim Kim
	정보처리학회논문지 소프트웨어 및 데이터 공학, VOL 09 NO. 08 PP. 0229 ~ 0234 2020. 08
	커버리지 변화 정보를 활용한 코드 누락 결함에 대한 뮤테이션 기반 결함 위치 식별 기법의 성능 향상
	전주영 홍 신 Juyoung Jeon Shin Hong
	정보과학회논문지, VOL 47 NO. 09 PP. 0863 ~ 0872 2020. 09
	Java 프로그램 단위 테스트 코드에서 발생하는 결함의 분류와 패턴 정의
	최한솔 홍신 Hansol Choe Shin Hong
	정보과학회논문지, VOL 46 NO. 04 PP. 0341 ~ 0354 2019. 04
	Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구
	전이루 김윤호 홍신 김문주 Yiru Jeon Yunho Kim Shin Hong Moonzoo Kim
	정보과학회논문지, VOL 43 NO. 09 PP. 0974 ~ 0982 2016. 09

학술대회 프로시딩 (20)

	비정형적 아동 학습지 이미지의 OCR 후처리를 위한 신경망 언어 모델 기반 텍스트 편집 도구
	안의진 양희찬 지은경 홍신 Eujin Ahn Heechan Yang Eunkyoung Jee Shin Hong
	, VOL 49 NO. 02 PP. 1444 ~ 1446 2021. 12
	Rust 멀티쓰레드 프로그램 테스팅을 위한 노이즈 삽입 기반 랜덤 테스팅 기법
	김기은 박은찬 홍신 Kieun Kim Eunchan Park Shin Hong
	, VOL 49 NO. 02 PP. 0256 ~ 0258 2022. 12
	유닛 테스트 케이스 코드를 활용한 C/C++ 라이브러리의 동적 퍼징 드라이버 생성
	임성빈 홍신 Sungbin Lim Shin Hong
	, VOL 49 NO. 02 PP. 0253 ~ 0255 2022. 12
	NFC를 활용한 소통형 스마트 키오스크
	김건우 차지석 김연후 신홍철 윤용운 GeonWoo Kim JiSeok Cha YeonHoo Kim HongCheol Shin YongUn Yoon
	한국정보과학회 2020 한국컴퓨터종합학술대회 (KCC 2020), VOL 47 NO. 01 PP. 1367 ~ 1368 2020. 07
	Sequential Location Data Generation Method of RNN Model using Wi-Fi Fingerprint Data
	Hong-Gi Shin Yong-Hoon Choi Chang-Pyo Yoon
	ICFICE 2019, VOL 11 NO. 01 PP. 0073 ~ 0075 2019. 06