	제목(Title)	로그 기반의 이더리움 스마트 컨트랙트 동적 테스트 도구 설계 및 구현
	저자(Author)	추현지 최병주 Hyun-Ji Chu Byoungju Choi
	수록저널(Journal)	정보과학회 컴퓨팅의 실제 논문지
	원문수록처(Citation)	VOL 26 NO. 07 PP. 0322 ~ 0331 2020. 07
	제목(Title)	속성 기반 및 모델 기반 테스트를 통한 테스트 단계별 스마트 컨트랙트 및 DApp 신뢰성 향상
	저자(Author)	민경식 이정원 이병정 Kyeongsic Min Jung-Won Lee Byungjeong Lee
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 46 NO. 08 PP. 0763 ~ 0773 2019. 08

영문 논문지 (3)

	제목(Title)	Classification Trends Taxonomy of Model-based Testing for Software Product Line: A Systematic Literature Review
	저자(Author)	Shahliza Abdul Halim Rabatul Aduni Sulaiman Dayang Norhayati Abang Jawawi
	수록저널(Journal)	KSII Transactions on Internet and Information Systems
	원문수록처(Citation)	VOL 16 NO. 05 PP. 1561 ~ 1583 2022. 05
	제목(Title)	A Dissimilarity with Dice-Jaro-Winkler Test Case Prioritization Approach for ModelBased Testing in Software Product Line
	저자(Author)	R. Aduni Sulaiman Dayang N. A. Jawawi Shahliza Abdul Halim
	수록저널(Journal)	KSII Transactions on Internet and Information Systems
	원문수록처(Citation)	VOL 15 NO. 03 PP. 0932 ~ 0951 2021. 03