Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System

박건우 ,  이주현 ,  송형곤 외 3명

Journal of KIISE

2019 .09

Concolic 단위 테스팅 기법을 사용한 효과적인 자동차SW 커버리지 향상

백준기 ,  이동주 ,  김현우

한국자동차공학회 추계학술대회 및 전시회

2018 .11

Improving Applicability and Usability of a Concolic Testing Tool CROWN

김현우 ,  김윤호 ,  김문주

Journal of KIISE

2018 .10

Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상

백준기 ,  이동주 ,  김윤호

한국자동차공학회 춘계학술대회

2019 .05

Concolic Testing기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구

서강복 ,  이성희 ,  이우진

한국정보과학회 학술발표논문집

2018 .12

반복 횟수를 제한한 경로 탐색을 통한 Concolic 테스팅의 커버리지 달성 향상

최한솔 ,  홍신

한국정보과학회 학술발표논문집

2019 .06

Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement

최한솔 ,  홍신

Journal of KIISE

2021 .02

Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상

이아청 ,  김현우 ,  김윤호 외 1명

한국정보과학회 학술발표논문집

2018 .06

“국방 S/W 기술” 특집을 내면서

김동성

정보과학회지

2023 .03

개발단계 무기체계의 소프트웨어 품질검증체계 연구

윤경환 ,  박만춘 ,  주진천 외 4명

한국산학기술학회 논문지

2023 .04

무기체계 성능개량사업 SW 신뢰성 시험 효율적 검증 방안 연구

노시찬 ,  김영길 ,  손민정 외 1명

한국산학기술학회 논문지

2022 .07

[권두언] “국방 SW 정책/제도 연구”국방과제 특집을 내면서

권경용 ,  오상윤

정보과학회지

2017 .12

공개 SW 연구개발 방식을 활용한 SW 연구개발 체계 고도화 방안

류원옥 ,  강신각

한국통신학회 학술대회논문집

2019 .06

SW가치확산을 위한 SW교육 설계

윤선정 ,  최봉준

한국정보통신학회 여성 ICT 학술대회 논문집

2021 .08

SW 신뢰성시험 자동화를 통한 시험시간 단축 및 인적오류 감소 방안

김형권

한국컴퓨터정보학회논문지

2015 .10

SW 역량 인증제 관련 교과목 강의 평가 및 성과 분석

박혁규 ,  강윤정 ,  이민혜 외 1명

한국정보통신학회 종합학술대회 논문집

2022 .10

Concolic 테스팅을 활용한 차량 전장 소프트웨어의 유닛 테스트

백준기 ,  이동주 ,  송현 외 1명

한국자동차공학회 춘계학술대회

2021 .06

무기체계 SW 동적시험 회귀시험 자동화 프로그램 개발

차상철 ,  김정열

한국항공우주학회지

2017 .10

비전공자 SW 프로그래밍 교육과정 및 콘텐츠 개발 모형의 효과성 탐색 : SW 해결안의 시각적 표현을 중심으로

이민정

디지털콘텐츠학회논문지

2017 .11

무기체계 내장형 소프트웨어 신뢰성시험 향상방안에 관한 연구

허건의 ,  권경용 ,  김태식

시스템엔지니어링학술지

2015 .01