본문 바로가기

배두환 (Doo-Hwan Bae)

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

주요 연구분야

  • 공학 > 컴퓨터학 TOP 5%
  • 사회과학 > 경영학

저자의 연구 키워드

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

저자의 연구 키워드
#군집 적응형 시스템
#그래픽 유저 인터페이스
#기능 블록 다이어그램
#메타모델
#모델 기반 소프트웨어 테스팅
#모델 기반 테스팅
#모바일 디바이스
#목표 기반 테스팅
#뮤테이션 분석
#뮤테이션 연산자
#뮤테이션 테스팅
#사례 분석 연구
#소프트웨어 시스템 모델링
#소프트웨어 품질
#소프트웨어 프로젝트 계획
#소프트웨어 프로젝트 관리
#시스템 오브 시스템즈
#안드로이드(Android) GUI 테스팅
#오류 위치 추정
#온톨로지
#유전자 알고리즘
#인력 할당
#전력 소모 모델 생성
#전력 소모 분석
#정량적 검증
#태스크 모델
#테스트 생성
#테스트 평가
#통계적 모델 체킹
#행동-이익-비용모델링
#Action-Benefit-Cost modeling
#Android GUI testing
#battery consumption analysis
#battery consumption model
#case study
#collective adaptive system
#fault localization
#Function block diagram
#genetic algorithm
#goal-based testing
#graphical user interface
#GUI 모델
#GUI 상태 비교 기법
#GUI 테스팅
#GUI model
#GUI state comparison technique
#GUI testing
#human resource allocation
#meta-model
#mobile device
#model-based software testing
#model-based testing
#mutation analysis
#mutation operator
#mutation testing
#ontology
#quantitative verification
#software project management
#software project planning
#software quality
#software system modeling
#statistical model checking
#System of Systems
#system-of-systems (SoS)
#task model
#test evaluation
#test generation

저자의 논문 현황

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.
  • 논문수116
  • 수정 후1997 ~ 2019
  • 논문 추가 요청5,860
  • 논문명4

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

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
블록체인 합의 알고리즘에 대한 시뮬레이션 및 정형 검증 정보과학회지 2019 92 0
블록체인 합의 알고리즘 모델링 및 시뮬레이션 사례연구 한국정보과학회 학술발표논문집 2018 41 0
데이터 기반 교통 흐름 시스템 다이내믹스 환경 모델 생성 및 추론 기법 한국정보과학회 학술발표논문집 2018 14 0
시스템 오브 시스템즈의 효율적 검증을 위한 목표 모델 슬라이싱 한국정보과학회 학술발표논문집 2018 2 0
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용 정보과학회 컴퓨팅의 실제 논문지 2018 7 0
시스템 오브 시스템즈 온톨로지 구축을 위한 사례 분석 기반의 메타모델 개발 정보과학회논문지 2018 45 0
모바일 디바이스 배터리 소모 분석 기법 소프트웨어공학 소사이어티 논문지 2018 49 0
FBD 프로그램 대상 뮤테이션 충분성 만족 테스트 데이터 생성 기법 한국정보과학회 학술발표논문집 2018 8 0
FBD 프로그램에 대한 포괄적 뮤테이션 연산자 정의 한국정보과학회 학술발표논문집 2017 10 0
시스템 오브 시스템즈 수준의 목표 달성 검증 도구 한국정보과학회 학술발표논문집 2017 25 0
원전 안전 필수 시스템 소프트웨어 대상 안전 진술 평가 사례연구 한국정보과학회 학술발표논문집 2017 8 0
시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구 정보과학회 컴퓨팅의 실제 논문지 2017 52 0
시스템 오브 시스템즈 모델링을 위한 다중 에이전트 시스템 메타 모델링 기법 분석 한국정보과학회 학술발표논문집 2016 29 0
군집 적응형 시스템의 목표 기반 테스트를 위한 태스크 기반 테스트 모델 적용 타당성 연구 정보과학회 컴퓨팅의 실제 논문지 2016 34 0
교통 분야 시스템 오브 시스템즈 대상 SUMO의 모델링 적합성 분석 한국정보과학회 학술발표논문집 2016 25 0
시스템 오브 시스템즈 대상 행동-이익-비용 모델링 및 통계적 모델 체킹 기반 속성 검증 사례 연구 한국정보과학회 학술발표논문집 2016 21 0
FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구 정보과학회 컴퓨팅의 실제 논문지 2016 43 0
태스크 기반 테스트 모델의 군집 적응형 시스템 적용 타당성 연구 한국정보과학회 학술발표논문집 2015 27 0
효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 GUI 상태 비교 기법 정보과학회논문지 2015 151 0
제한된 프로젝트 기간을 고려한 품질 기반 소프트웨어 프로젝트 계획 생성 기법 정보과학회논문지 2015 113 0
더보기