지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 연구 배경
3. 관련 연구
4. OS-in-the-Loop 동적 심볼릭 테스트
5. 실험
6. 결론
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
Journal of KIISE
2019 .09
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Journal of KIISE
2018 .10
Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement
Journal of KIISE
2021 .02
Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상
한국정보과학회 학술발표논문집
2018 .06
Concolic 단위 테스팅 기법을 사용한 효과적인 자동차SW 커버리지 향상
한국자동차공학회 추계학술대회 및 전시회
2018 .11
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
한국자동차공학회 춘계학술대회
2019 .05
Efficient Test Method for Embedded Software Using Next Software Framework Test Service
Journal of KIISE
2020 .09
A Study on Improvement of Scoring in Programming Practice Questions Using Concolic Testing Technique
Journal of KIISE
2019 .11
Concolic Testing기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구
한국정보과학회 학술발표논문집
2018 .12
가상 환경에서의 소프트웨어 테스트 자동화
정보과학회지
2016 .05
“산업현장에서의 소프트웨어 테스트 기술”특집을 내면서
정보과학회지
2016 .05
반복 횟수를 제한한 경로 탐색을 통한 Concolic 테스팅의 커버리지 달성 향상
한국정보과학회 학술발표논문집
2019 .06
심층강화학습을 활용한 게임엔진 기반 3D 소프트웨어의 탐색적 테스트 자동화
한국정보과학회 학술발표논문집
2021 .12
모델 기반 소프트웨어의 모델 테스트 자동화 방법에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
uC/OS-II 운영체제의 보안 개선을 위한 자체 코드 무결성 검증 기법
정보과학회 컴퓨팅의 실제 논문지
2019 .07
국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술
한국정보과학회 학술발표논문집
2018 .12
Smart Contract Weakness Analyzer Based on Concolic Testing
Journal of KIISE
2021 .06
Concolic 테스팅을 활용한 차량 전장 소프트웨어의 유닛 테스트
한국자동차공학회 춘계학술대회
2021 .06
모바일 게임 프로젝트에서 안드로이드 OS 기반 테스트 프로세스 활용 방안 연구
한국컴퓨터정보학회 학술발표논문집
2024 .07
AUTOSAR OS 가상화를 통한 차량용 소프트웨어 OS 동작의 윈도우즈 시뮬레이션
한국자동차공학회 춘계학술대회
2019 .05
0