DSpace at KOASAS
Browsing DSpace

Browse 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 19 of 19

1
(A) data flow-based structural testing technique for FBD programs = FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법link

Jee, Eun-Kyoung; 지은경; et al, 한국과학기술원, 2009

2
Automatic test oracle generation based on variable centrality analysis = 변수 중심성 분석을 통한 테스트 오라클 생성 자동화link

Loyola, Pablo; Loyola, Pablo; Ko, In-Young; 고인영; et al, 한국과학기술원, 2013

3
Effective and efficient test generation for multithreaded programs using concurrency coverage metrics = 동시성 커버리지 메트릭을 이용한 멀티쓰레드 프로그램의 효과적이고 효율적인 테스트 생성link

Hong, Shin; 홍신; et al, 한국과학기술원, 2015

4
Generating test cases from UML activity diagrams = UML 액티비티 다이어그램에서의 테스트 케이스 추출link

Kim, Hyung-Choul; 김형철; et al, 한국정보통신대학교, 2007

5
Historical value-based approach for cost-cognizant test case prioritization to improve the effectiveness of regression testing = 비용 인식에 근거한 테스트 케이스 우선순위 방법을 위한 히스토리컬 가치 기반의 접근법을 통한 회귀 시험에서의 테스트 효과성의 향상link

Park, Hyun-Cheol; 박현철; et al, 한국정보통신대학교, 2008

6
MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기

Lingjun Liu; 지은경; 배두환, 정보처리학회논문지. 소프트웨어 및 데이터 공학, v.10, no.4, pp.115 - 124, 2021

7
Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구

전이루; 김윤호; 홍신; 김문주, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.9, pp.974 - 982, 2016-09

8
PDF 파일의 포맷 기반 퍼즈 테스팅 = Format-aware fuzzing on PDF fileslink

김호빈; 차상길; et al, 한국과학기술원, 2017

9
Test case prioritization based on information retrieval concepts = 정보검색기법을 활용한 테스트케이스 우선순위 기법link

Kwon, Jung-Hyun; 권정현; Ko, In-Young; 고인영; et al, 한국과학기술원, 2014

10
Testing of adapted components using mutation techniques = 변용 컴포넌트를 위한 뮤테이션 테스팅 기법link

Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2000

11
가치기반 접근법을 통한 테스트 케이스 우선순위기법

박현철; 류호연; 백종문, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.5, pp.353 - 360, 2009-05

12
검색 기반 퍼즈 테스팅 = Search-based fuzzinglink

한충우; 차상길; et al, 한국과학기술원, 2017

13
모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink

이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003

14
시나리오에 기반한 MSA 에너지 소모 예측 연구 = Scenario-based energy estimation for mobile sensing applicationlink

최승표; Choi, Seung-Pyo; et al, 한국과학기술원, 2016

15
안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법

김윤호; 김문주, 정보과학회논문지, v.44, no.2, pp.171 - 178, 2017-02

16
커맨드 라인 옵션을 변이 및 선택하여 테스팅 효과를 높이는 퍼징 기법

이아청; 김윤호; 김문주, 정보과학회논문지, v.49, no.11, pp.981 - 986, 2022-11

17
형상 관리 정보를 이용한 테스트 공수 예측 = Test effort estimation using configuration management informationlink

원종세; Won, Jong-Se; et al, 한국과학기술원, 2013

18
효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법

김문주; 김윤호; 김태진; 이호정; 장훈; 박민규, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.6, pp.692 - 699, 2016-06

19
효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구

김윤호; 김현우; 양웅규; 김문주, 정보과학회논문지, v.45, no.4, pp.342 - 347, 2018-04

Discover

rss_1.0 rss_2.0 atom_1.0