CS-Conference Papers(학술회의논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 5963

1

Spherical Panorama Image Watermarking Using Viewpoint Detection

Kang, Ji-Hyeon; Ji, Sang-Keun; Lee, Heung-Kyuresearcher, Int. Workshop on Digital Forensics and Watermarking(IWDW’2018), pp.95 - 109, Springer Verlag, 2018-10-11

2

안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법

김윤호; 김문주researcher, 2016 한국컴퓨터종합학술대회, 한국정보과학회, 2016-06-30

3

COMUT: 사용자의 의도대로 효과적인 변이를 생성할 수 있는 C 프로그램 변이 도구

Phan Duy Loc; 김문주researcher; 고봉석; 김윤호, 2017 한국소프트웨어종합학술대회, 한국정보과학회, 2017-12-21

4

시스템 테스트 케이스를 이용한 C 프로그램의 동적 유닛 입력 값 자동 수집 및 재연 기술

임현수; 김문주researcher; 김윤호, 2017 한국소프트웨어종합학술대회, 한국정보과학회, 2017-12-21

5

Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가

김현우; 김문주researcher; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30

6

Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage

Kim, Yunho; Kim, Moonzooresearcher; Hong, Shin; Ko, Bongsuk; Phan Duy Loc, IEEE Conference on Software Testing, Validation and Verification (ICST), IEEE(Computer Society), 2018-04-11

7

MUSIC: Mutation Analysis Tool with High Configurability and Extensibility

Phan Duy Loc; Kim, Moonzooresearcher; Kim, Yunho, Mutation Workshop(International Conference on Software Testing, Verification and Validation Workshops (ICSTW)), IEEE(Computer Society), 2018-04-19

8

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

이아청; 김문주researcher; 김현우; 김윤호, 2018 한국컴퓨터종합학술대회, 한국정보과학회, 2018-06-21

9

AtomicitySanitizer: C 멀티쓰레드 프로그램에 대한 실행연속성 위반 결함 검출 도구

홍신; 김문주researcher; 김윤호; 윤석영; 정한웅; 박사천, 2018 한국소프트웨어종합학술대회, 한국정보과학회, 2018-12-20

10

국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술

박건우; 김문주researcher; 이주현; 송형곤; 조규태; 김윤호, 2018 한국소프트웨어종합학술대회, 한국정보과학회, 2018-12-20

11

Searching a room by two guards

Park S.-M.; Lee J.-H.; Chwa, Kyung Yongresearcher, v.12, no.4, pp.339 - 352

12

효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구

김윤호; 김현우; 양웅규; 김문주researcher, 한국정보과학회 2016년 동계학술대회, 한국정보과학회, 2016-12-22

13

Precise Concolic Unit Testing of C Programs Using Extended Units and Symbolic Alarm Filtering

Kim, Yunho; Kim, Moonzooresearcher; Choi, Yunja, International Conference on Software Engineering (ICSE), IEEE Computer Society and ACM SIGSOFT, 2018-05-30

14

A Fuzzy Relational Query Language Expressing Soft Constraints

Lee, D.H.; Lee, Kwang-Hyungresearcher; Kim, Myoung Horesearcher, KISS Conference, pp.93 - 96, KISS, 1993-11

15

FreeMouse - 적외선 및 RF 송수신에 기반한 3차원 공간 마우스

정윤경; 최진혁; 손미숙; 이기혁researcher, 한국정보과학회 HCI학술대회, 한국정보과학회, 2004-07

16

Facemouse: 카메라를 이용한 소형 단말기의 새로운 사용자 인터페이스

손미숙; 이기혁researcher; 조일연, 한국정보과학회 HCI학술대회, 한국정보과학회, 2005-07

17

시각장애인을 위한 지뢰찾기 게임의 설계

서기원; 이기혁researcher; 이만재, 한국정보과학회 HCI학술대회, 한국정보과학회, 2005-07

18

iProCam: 증강현실 구현을 위한 양방향 프로젝터-카메라 시스템

심재원; 이기혁researcher, 한국정보과학회 HCI학술대회, 한국정보과학회, 2005-07

19

The Bifurcating Neuron Network 3 As Coloring Problem Solver and N-ary Associative Memory

Choi, Jinhyuk; Lee, Geehyukresearcher, International Conference of Neural Information Processing, v.4232, pp.437 - 446, Springer, 2006-10-03

20

ActivePen 을 활용한 보다 효율적인 멀티탭 문자 입력 방식

송지석; 이기혁researcher, 한국 HCI학회, pp.367 - 372, 한국 HCI학회, 2007-02-01

rss_1.0 rss_2.0 atom_1.0