Safety Critical System의 비정상 행위를 테스트하기 위한테스트 케이스 생성 기법
한국차세대컴퓨팅학회 한국차세대컴퓨팅학회 논문지 Vol.9 No.1 2013.02 pp.25-37
DbC접근법과 동치클래스 분류 기법을 이용한 테스트케이스 생성기법
한국컴퓨터게임학회 한국컴퓨터게임학회논문지 제22호 2010.09 pp.69-80
4,300원
※ 기관로그인 시 무료 이용이 가능합니다.
Automotive SPICE를 위한 모델 기반의 테스트 케이스 생성 연구
한국정보통신설비학회 한국정보통신설비학회 학술대회 2017년도 정보통신설비 학술대회 2017.08 pp.177-179
3,000원
※ 기관로그인 시 무료 이용이 가능합니다.
Automatic Maintenance of Referential Integrity for Unit Test Data Management
한국경영정보학회 한국경영정보학회 정기 학술대회 지식기반산업과 IT Convergence 2008.11 pp.609-615
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.11 2016.11 pp.233-254
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Test Case Generation by Local Search for Floating-Point Programs
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.8 No.9 2014.09 pp.89-102
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Test Case Generation from Formal Models of Cyber Physical System
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.6 No.3 2013.05 pp.15-24
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Test case generation for transition-pair coverage using Scatter Search
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.4 No.4 2010.11 pp.37-59
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.9 No.12 2016.12 pp.35-50
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Automatic Test Case Generation for BPEL Using Stream X-Machine
보안공학연구지원센터(IJUNESST) International Journal of u- and e- Service, Science and Technology vol.1 no.1 2008.12 pp.27-36
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Model-Based Test Case Generation for Function Testing of CTCS-3 Onboard Subsystem
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.8 No.10 2015.10 pp.171-178
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Automatic Software Test Case Generation: An Analytical Classification Framework
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.6 No.4 2012.10 pp.1-16
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Search-Based Junit Test Case Generation of Code Using Object Instances and Genetic Algorithm
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.5 2016.05 pp.95-108
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Test case generation strategy and method of embedded software based on POF(Physics of Failure)
[Kisti 연계] 한국경영과학회 한국경영과학회 학술대회논문집 2004 pp.607-610
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Modeling and Interoperability Test Case Generation of a Real-Time QoS Monitoring Protocol
[Kisti 연계] 한국전자통신연구원 ETRI journal Vol.21 No.4 1999 pp.52-64
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Record-Playback 기술 기반의 GUI 테스트 케이스 자동 생성
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2007 pp.96-100
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Yices와 모델 정보를 이용한 Simulink/Stateflow 모델의 테스트 케이스 생성 기법
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.6 No.6 2017 pp.293-302
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
변형된 RRT 알고리즘 기반 Simulink/Stateflow 모델 테스트 케이스 생성
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.5 No.12 2016 pp.653-662
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
UML state chart 를 이용한 flow graph 기반 테스트 케이스 생성 방법
[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2007 pp.213-217
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-