본문 바로가기

김윤호 (Yunho Kim)

소속기관
한국과학기술원
소속부서
전산학부
직급
연구교수
ORCID
-
연구경력
-

주요 연구분야

  • 공학 > 컴퓨터학 TOP 5%
  • 공학 > 전자/정보통신공학
  • 공학 > 항공우주공학

저자의 연구 키워드

저자가 작성한 논문들의 주요 키워드입니다.

저자의 연구 키워드
#동적 기호 실행
#로직
#변이 분석
#변이 테스트
#소프트웨어 테스트 자동 생성
#소프트웨어 테스팅
#심볼릭 모델링
#안드로이드 커널 모듈 테스팅
#유닛 테스트
#자동 유닛 테스팅
#자동화 테스팅
#직렬화
#탐색 전략
#테스트 자동 생성
#프로그램 변형
#Android kernel module testing
#automated software test generation
#automated testing
#automated unit testing
#automatic test case generation
#Beta Ray(베타선)
#Bremsstrahlung(제동복사)
#C 프로그램
#C program
#Carving
#Composite material(복합재료)
#Composite Materials (복합재료)
#Composites (복합재)
#Concolic 테스팅
#concolic testing
#CROWN 도구 개선
#CROWN tool improvement
#CT Image (CT 영상)
#dynamic symbolic execution
#Electron(전자)
#Fiber Optic SHM (광섬유활용건전성모터링)
#Fiber Orientation (방향)
#Finite Element Model (유한요소 모델)
#Finite Element Model(유한요소 모델)
#Heavy ion(중입자)
#Heracron
#hypervelocity impact
#Hypervelocity impact(초고속충돌)
#Kevlar(케블라)
#LEO(지구저궤도)
#Light gas gun (LGG)
#logic
#Low-earth orbit (LEO) Environment
#Micromechanics (미시역학)
#micromechanics(미시역학)
#MMOD(미소 유성체)
#Multifunctional Structure (다기능 구조)
#mutation analysis
#mutation testing
#Polybenzimidazole (PBI)
#program mutation
#Proton(양성자)
#RAS (레이다흡수구조)
#Replay
#search strategy
#serialization
#software testing
#Space debris(우주 쓰레기)
#Space Radiation(우주 방사선)
#Space radiation(우주방사선)
#Space Shield (우주방호)
#Structural Battery (구조 배터리)
#symbolic modeling
#tensile test(인장시험)
#UHMWPE(초고분자량 폴리에틸렌)
#unit test
#Whipple Shield(휘플 실드)

저자의 논문 현황

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.
  • 논문수72
  • 발행기간1988 ~ 2019
  • 이용수3,285
  • 피인용수0

논문제목를 인용한 논문목록입니다.

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성 정보과학회논문지 2019 5 0
동적 심볼릭 테스팅(Concolic 테스팅) 정보과학회지 2019 47 0
초고분자량 폴리에틸렌을 이용한 지구 저궤도 우주 구조물의 우주 방사선 및 초고속 쉴딩에 관한 연구, 파트 2: 베타선 쉴딩 한국항공우주학회 학술발표회 초록집 2019 4 0
Some Multifunctional Aerospace Structures 한국항공우주학회 학술발표회 초록집 2019 3 0
국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술 한국정보과학회 학술발표논문집 2018 12 0
AtomicitySanitizer: 멀티쓰레드 C 프로그램에 대한 실행연속성 위반 결함 검출 도구 한국정보과학회 학술발표논문집 2018 11 0
초고분자량 폴리에틸렌을 이용한 지구 저궤도 우주 구조물의 우주 방사선 및 초고속 충돌 쉴딩에 관한 연구 한국항공우주학회 학술발표회 초록집 2018 27 0
단방향 복합재료 미시구조 모델링을 이용한 점진적 압축파손해석 한국항공우주학회 학술발표회 초록집 2018 5 0
Impact resistance of Polybenzimidazole (PBI) coated Heracron fabric for space Applications 한국항공우주학회 학술발표회 초록집 2018 4 0
Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구 정보과학회논문지 2018 35 0
C 프로그램의 동적 및 정적 분석을 통한 시스템 실행에서의 유닛 입력 값 자동 수집 및 재연 정보과학회논문지 2018 17 0
Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상 한국정보과학회 학술발표논문집 2018 16 0
효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교 정보과학회논문지 2018 37 0
3D-CT를 이용한 단방향 복합재료 유한요소모델 생성 및 미시역학적 특성 검토 한국항공우주학회 학술발표회 초록집 2018 6 0
시스템 테스트 케이스를 이용한 C 프로그램의 동적 유닛 입력 값 자동 수집 및 재연 기술 한국정보과학회 학술발표논문집 2017 11 0
COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구 한국정보과학회 학술발표논문집 2017 10 0
마이크로스케일 복합재 인장 시험기의 개발 한국항공우주학회 학술발표회 초록집 2017 32 0
휴대용 뇌파분석기와 아두이노를 이용한 집중력 향상 시스템 설계 및 구현 한국정보과학회 학술발표논문집 2017 118 0
안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법 정보과학회논문지 2017 73 0
효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교 한국정보과학회 학술발표논문집 2016 13 0
더보기