GUI 어플리케이션의 단위 테스트를 위한 테스트 자동화 플랫폼의 설계
· 약 1분
제37회 한국정보처리학회 춘계학술발표대회 논문집, 제 19권 1호, 2012년 4월
안드로이드 어플리케이션의 화이트박스 테스트를 위한 액티비티 기반의 상태도 생성 기법
· 약 1분
제37회 한국정보처리학회 춘계학술발표대회 논문집, 제 19권 1호, 2012년 4월
임베디드 소프트웨어의 상태 기반 프로그래밍 기법 연구
· 약 1분
한국통신학회 2011년도 추계종합학술발표회, 2011년 11월 (11.19)
TMO 기반의 코드 자동 생성기 설계를 위한 실시간 시스템 모델링 기법
· 약 1분
2010 한국컴퓨터종합학술대회 논문집, 제37권, 제1호, pp. 136-139, 2010년 7월 (6.30)
역공학 기반 모델간 변경 분석 및 시각화 도구의 설계
· 약 1분
2010 한국컴퓨터종합학술대회 논문집, 제37권, 제1호, pp. 136-139, 2010년 7월 (6.30)
데이터 흐름을 반영하는 임베디드 시스템의 코드 자동 생성기 설계
· 약 1분
제33회 한국정보처리학회 춘계학술발표대회, 제17권, 제1호, 2010년 4월(4.23~24)
다중 유한상태머신 기반 병렬적 도달성 분석 기법
· 약 1분
제33회 한국정보처리학회 춘계학술발표대회, 제17권, 제1호, 2010년 4월
컴포넌트 기반 개발을 위한 점진적 시뮬레이터 설계
· 약 1분
제32회 한국정보처리학회 추계학술대회 논문집, 제16권 2호, pp. 865-866, 2009년 11월 (11.21)
수행시간 및 사용자 입력을 고려한 임베디드 소프트웨어의 테스트 시나리오 추출 기법
· 약 1분
대한임베디드공학회 추계학술대회, 2009년 11월 (11.20)
코드 내포 상태머신 다이어그램의 데이터 시각화 기법
· 약 1분
대한임베디드공학회 추계학술대회, 2009년 11월 (11.20)