DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

Browse "School of Computing(전산학부)" by Author 홍신

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 1 to 12 of 12

1	AtomicitySanitizer: C 멀티쓰레드 프로그램에 대한 실행연속성 위반 결함 검출 도구 홍신; 김문주; 김윤호; 윤석영; 정한웅; 박사천, 2018 한국소프트웨어종합학술대회, 한국정보과학회, 2018-12-20
2	Concurrency bug detection through improved pattern matching using semantic information = 시맨틱 정보를 이용한 패턴 매칭을 통한 동시성 결함 검출 link Hong, Shin; 홍신; et al, 한국과학기술원, 2010
3	Effective and efficient test generation for multithreaded programs using concurrency coverage metrics = 동시성 커버리지 메트릭을 이용한 멀티쓰레드 프로그램의 효과적이고 효율적인 테스트 생성 link Hong, Shin; 홍신; et al, 한국과학기술원, 2015
4	Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구 전이루; 김윤호; 홍신; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.9, pp.974 - 982, 2016-09
5	검증 반례 재연을 통한 모델 기반 커널 테스팅 김문주; 홍창기; 홍신, 한국 소프트웨어공학 학술대회, pp.415 - 416, 2009-02-10
6	기호실행을 통한 자동 생성된 불변식의 검정 김문주; 홍신; Matt Staats, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-10
7	동시성 프로그램 테스트를 위한 구조 커버리지 기법 조사 안재민; 홍신; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-09
8	멀티스레드 프로그램에 대한 테스트 커버리지 정보를 이용한 자동 테스트 생성 장치, 방법 및 기록매체 김문주; 홍신, 2015-05-06
9	모델기반의 커널 테스팅 프레임워크 김문주; 홍신, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.7, pp.523 - 530, 2009-07
10	변이 프로그램을 사용하여 대상 프로그램을 테스트하는 방법 및 장치 김문주; 김윤호; 홍신
11	비결정적인 이벤트 처리가 가능한 프로그램의 자동 테스트 방법 및 자동 테스트 장치 김문주; 박용배; 홍신, 2016-12-05
12	이벤트 기반 임베디드 소프트웨어를 위한 자동화 테스팅 기법: LG전자 오븐 제어 소프트웨어 사례 연구 박용배; 홍신; 김문주; 조준희; 이동주; 장훈, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2015-01-29

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0