Browse "School of Computing(전산학부)" by Title
Showing results 3261 to 3280 of 16112
| Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry Kim, Yunho; Lee, Dongju; Baek, Junki; Kim, Moonzoo, International Conference on Software Engineering (ICSE), pp.151 - 160, IEEE Computer Society and ACM SIGSOFT, 2019-05-29 |
| Concolic testing of the multi-sector read operation for flash memory file system Kim, Moonzoo; Kim, Yunho, 12th Brazilian Symposium on Formal Methods, SBMF 2009, pp.251 - 265, 2009-08-19 |
| Concolic testing of the multi-sector read operation for flash storage platform software Kim, Moon-Zoo; Kim, Yun-Ho; Choi, Yun-Ja, FORMAL ASPECTS OF COMPUTING, v.24, no.3, pp.355 - 374, 2012-05 |
| Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs Kim, Yunho; Kim, Moonzoo; Jang, Yoonkyu, ACM SIGSOFT Foundation of Software Engineering Industrial track, ACM SIGSOFT Foundation of Software Engineering Industrial track, 2011-09-05 |
| Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 김영주; 김문주; 김윤호; 정의준, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325, 2012-04 |
| Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
| Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가 김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30 |
| Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구 김현우; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1071 - 1079, 2018-10 |
| Concolic 테스팅과 Fuzzing을 결합한 유닛 테스팅 자동화 기술 김윤삼; 김문주, 한국 소프트웨어공학 학술대회(KCSE2022), 한국정보과학회, 2022-01-20 |
| Concolic 테스팅을 위한 테스트 커버리지 향상 가이드라인 및 산업체 사례 연구 = Concolic testing guidelines for test coverage improvement : an industrial case studylink 김현우; 김문주; et al, 한국과학기술원, 2018 |
| Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs Hong, Jaemin; Ryu, Sukyoung, 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, pp.716 - 728, IEEE Computer Society, 2023-05-17 |
| CONCURRENCY AND INHERITANCE IN ACTOR-BASED OBJECT-ORIENTED LANGUAGES RYU, K; Maeng, SeungRyoul; Cho, Jung Wan, JOURNAL OF SYSTEMS AND SOFTWARE, v.20, no.1, pp.53 - 67, 1993-01 |
| Concurrency bug detection through improved pattern matching using semantic information = 시맨틱 정보를 이용한 패턴 매칭을 통한 동시성 결함 검출link Hong, Shin; 홍신; et al, 한국과학기술원, 2010 |
| Concurrency Control and Recovery in Multi Database Systems Lee, Yoon Joon, JOURNAL OF COMPUTER AND SOFTWARE ENGINEERING, v.3, no.1, pp.101 - 131, 1995-01 |
| Concurrency control and recovery in multidatabase systems = 복수데이타베이스 시스템에서의 동시성 제어 및 회복link Kim, Pyung-Chul; 김평철; et al, 한국과학기술원, 1994 |
| Concurrency control for long-lived transactions in collaborative design applications = 상호 협조적인 설계 작업에서 장기 거래를 위한 동시성 제어link Cho, Haeng-Rae; 조행래; et al, 한국과학기술원, 1995 |
| Concurrency Control for Nested Transactions in Multidatabase Systems W.S.Choe; Kim, Myoung Ho; Lee, Yoon Joon, JOURNAL OF COMPUTING AND INFORMATION, v.1, no.2, pp.649 - 668, 1995-01 |
| Concurrency model for distributed systems Kim, Myungchul; Chanson, ST; Vuong, ST, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.59, no.3, pp.445 - 464, 1999-12 |
| Concurrent C++에서의 process 기술 방법에 관한 연구 = A study on the method for describing process in concurrent C++link 위의석; Wi, Eui-Seok; et al, 한국과학기술원, 1990 |
| Conditional GAN based Collaborative Filtering with Data Augmentation for Cold-Start User Woo, Sungpil; Zubair, Muhammad; Kim, Daeyoung, The 13th International Conference on ICT Convergence, ICTC 2022, IEEE Computer Society, 2022-10-19 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,865 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989