지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Journal of KIISE
2018 .10
국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술
한국정보과학회 학술발표논문집
2018 .12
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
Journal of KIISE
2019 .09
Concolic 단위 테스팅 기법을 사용한 효과적인 자동차SW 커버리지 향상
한국자동차공학회 추계학술대회 및 전시회
2018 .11
Concolic Testing기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구
한국정보과학회 학술발표논문집
2018 .12
반복 횟수를 제한한 경로 탐색을 통한 Concolic 테스팅의 커버리지 달성 향상
한국정보과학회 학술발표논문집
2019 .06
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
한국자동차공학회 춘계학술대회
2019 .05
Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement
Journal of KIISE
2021 .02
OS-in-the-Loop Concolic Testing for Multitask Embedded Software
Journal of KIISE
2023 .02
Smart Contract Weakness Analyzer Based on Concolic Testing
Journal of KIISE
2021 .06
A Study on Improvement of Scoring in Programming Practice Questions Using Concolic Testing Technique
Journal of KIISE
2019 .11
Concolic 테스팅을 활용한 차량 전장 소프트웨어의 유닛 테스트
한국자동차공학회 춘계학술대회
2021 .06
심볼릭 인공지능을 위한 R 심볼릭 데이터분석
한국지능시스템학회 논문지
2017 .10
심볼릭 제약을 반영한 뉴럴 자연언어처리
한국정보과학회 학술발표논문집
2020 .07
드론 교육 적용이 가능한 교육용 심볼릭 코딩 어플리케이션 설계
한국컴퓨터정보학회 학술발표논문집
2023 .07
심볼릭 인공지능의 역사와 상식추론
정보과학회지
2021 .12
Stroop 과제에서의 수행 오류에 대한 심볼릭적 해석을 위한 ACT-R 모델링 방법론 개발
대한산업공학회 춘계공동학술대회 논문집
2022 .06
뉴로 심볼릭 관계 모델을 이용한 지식베이스 질의 응답
한국정보과학회 학술발표논문집
2020 .07
유사-로그스케일 인코딩 기반 심볼릭 음악 생성 모델
한국정보과학회 학술발표논문집
2022 .06
심볼릭 실행(Symbolic Execution) 기반의 바이너리 코드 취약점 분석 자동화를 위한 도구
한국정보과학회 학술발표논문집
2017 .06
0