목적 지향 콘콜릭 테스팅을 이용한 플래그 변수가 있는 프로그램에 대한 테스트 데이터 생성
한국인터넷방송통신학회 한국인터넷방송통신학회 논문지 제12권 제1호 2012.02 pp.123-132
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
A Target-Oriented Path Generation Method based on Concolic Testing
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.10 No.6 2016.06 pp.155-170
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교
[Kisti 연계] 한국정보과학회 정보과학회논문지:컴퓨팅의 실제 및 레터 Vol.18 No.4 2012 pp.321-325
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
CRESTIVE-DX: 임베디드 소프트웨어에 대해 테스트케이스 생성을 지원하는 분산 Concolic 테스팅 도구
[NRF 연계] 한국정보처리학회 KIPS Transactions on Software and Data Engineering Vol.9 No.8 2020.08 pp.229-234
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-