DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Subject 테스팅

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 16 of 16

1
(A) testing technique on function block diagram = Function block diagram의 테스팅 기법link

Kim, Soon-Deok; 김순덕; et al, 한국과학기술원, 2004

2
(An) effective fault aware test case prioritization by incorporating a fault localization technique = Fault Localization 기법을 활용한 결함 인식 테스트케이스 우선순위 기법link

Se-Jun Kim; 김세준; et al, 한국과학기술원, 2010

3
Change impact analysis and test case management for regression testing of object-oriented programs = 객체지향 프로그램의 회귀테스팅을 위한 수정영향분석 및 테스트케이스 관리link

Jang, Yoon-Kyu; 장윤규; et al, 한국과학기술원, 2003

4
Empirical evaluation and prediction of software quality using software inspection = 소프트웨어 인스펙션을 이용한 소프트웨어 품질의 실험적 평가와 예측link

So, Sun-Sup; 소선섭; Kwon, Young-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001

5
Equivalent mutation detection methods for class-level mutation analysis = 클래스 수준 뮤테이션 분석을 위한 동등 뮤턴트 검출 기법link

Jang, Won-Ho; 장원호; et al, 한국과학기술원, 2010

6
Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications = 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략link

Bae, Sora; 배소라; et al, 한국과학기술원, 2016

7
Test sequence generation from modechart specification = Modechart 명세 기반의 실시간 시스템 테스트 시퀀스 생성link

Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 1998

8
UML specification-based integration testing of software components = UML 명세에 기반한 소프트웨어 컴포넌트의 통합 테스팅 기법link

Kim, Jun-San; 김준산; et al, 한국과학기술원, 2003

9
Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link

Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999

10
Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link

Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001

11
동적 시스템 명세를 위한 시제논리언어와 그 검증

조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08

12
동적 시스템 명세를 위한 시제논리언어와 그 검증

조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002

13
모델기반의 커널 테스팅 프레임워크

김문주; 홍신, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.7, pp.523 - 530, 2009-07

14
뮤테이션 기반의 오류 위치 추정 기법에서의 테스트 스위트 크기를 줄이는 방법에 대한 실험적 연구 = Experimental analysis of test-suite reduction on mutation-based fault localizationlink

채철우; Chae, Cheolwoo; et al, 한국과학기술원, 2015

15
반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세

황준형; 윤정한; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.39, no.7, pp.593 - 603, 2012-07

16
순차도를 이용한 테스트 오라클 생성 = Generating test oracles from sequence diagramlink

정정수; Jung, Jung-Su; 권용래; 배두환; et al, 한국과학기술원, 2001

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0