Browse by Title
Showing results 49101 to 49120 of 275467
| Concise Total Synthesis and Stereochemical Revision of all (-)-Trigonoliimines Han, Sunkyu; Movassaghi, Mohammad, JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, v.133, no.28, pp.10768 - 10771, 2011-07 |
| 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 with static analysis for javascript applications Bae, Sora, 13th International Conference on Modularity, MODULARITY 2014 (Formerly AOSD), pp.7 - 8, Association for Computing Machinery, 2014-04 |
| 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 |
| Concomitant Ankle Injuries Associated With Tibial Shaft Fractures Jung, Ki Jin; Chung, Chin Youb; Park, Moon Seok; Chung, Myung Ki; Lee, Dong Yeon; Koo, Seungbum; Lee, Kyoung Min, FOOT & ANKLE INTERNATIONAL, v.36, no.10, pp.1209 - 1214, 2015-10 |
| Concordance of knots in S-1 x S-2 Davis, Christopher W.; Nagel, Matthias; Park, JungHwan; Ray, Arunima, JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, v.98, pp.59 - 84, 2018-08 |
Concordance to links with an unknotted component Davis, Christopher W.; Park, JungHwan, Mathematical Proceedings of the Cambridge Philosophical Society, v.170, no.1, pp.155 - 160, 2021-01 |
| CONCORDANT NUMBERS WITHIN ARITHMETIC PROGRESSIONS AND ELLIPTIC CURVES Im, Bo-Hae, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, v.141, no.3, pp.791 - 800, 2013-03 |
| 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 |
| ConCreate: 일관된 브랜드 정체성 유지를 위한 그래픽 디자인 보조 도구 = ConCreate: A graphic design editor for guiding consistent visual brand identitylink 장서연; 남택진; et al, 한국과학기술원, 2022 |
| Concrete ablation analysis for molten corium-concrete interaction mitigation strategy Kim, Ji-Hun; Kwon, Sejin; Choi, Jinyoung; Cho, Yong Jin, ANNALS OF NUCLEAR ENERGY, v.132, pp.615 - 627, 2019-10 |
| Concrete ablation analysis for molten corium-concrete interaction mitigation strategy = 노심용융물과 콘크리트 반응 완화 전략을 위한 콘크리트 삭마 분석 연구link Kim, Ji-Hun; Kwon, Sejin; et al, 한국과학기술원, 2020 |
Discover
Type
Open Access
Date issued
- 30,879 2020 - 2024
- 99,973 2010 - 2019
- 75,674 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969