Showing results 1601 to 1620 of 7392
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 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 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가 김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30 |
Concolic 테스팅과 Fuzzing을 결합한 유닛 테스팅 자동화 기술 김윤삼; 김문주, 한국 소프트웨어공학 학술대회(KCSE2022), 한국정보과학회, 2022-01-20 |
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 |
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 |
Conditional Random Fields via Univariate Exponential Families Yang, Eunho; Ravikumar, Pradeep; Allen, Genevera; Liu, Zhandong, Advances in Neural Information Processing Systems (NIPS) 26, NIPS Foundation Inc., 2013-12-05 |
Confidence-Based Robot Navigation Under Sensor Occlusion with Deep Reinforcement Learning Ryu, Hyeongyeol; Yoon, Minsung; Park, Daehyung; Yoon, Sung-Eui, 2022 IEEE International Conference on Robotics and Automation (ICRA 2022), pp.8231 - 8237, IEEE Robotics and Automation Society, 2022-05-26 |
Conformance Testing of ATM Adaptation Layer Protocol Yoo, Sangjo; Collica, Leslie; Kim, Myungchul, the IFIP TC6 9th international workshop on Testing of communicating systems, pp.237 - 252, 1996 |
Conformance Testing of Multi-protocol IUTs Park, Yongbum; Kim, Myungchul; Kang, Sungwon, IWTCS, 1999 |
Congestion Controlled Adaptive Lightweight Multicast in Wireless Mobile Ad Hoc Networks Tang, Ken; Obraczka, Katia; Lee, Sung-Ju; Gerla, Mario, The Seventh IEEE Symposium on Computers and Communications (ISCC 2002), IEEE, 2002-07-01 |
Connecting Advanced Networks in Asia-Pacific ( Focusing on Applications ) Chon, Kil Nam, GIBN, 1998 |
Connecting Instructors and Learning Scientists via Collaborative Dynamic Experimentation Joseph Jay Williams; Anna Rafferty; Andrew Ang; Dustin Tingley; Walter S. Lasecki; Kim, Juho, 35th Annual CHI Conference on Human Factors in Computing Systems, CHI EA 2017, ACM Special Interest Group on Computer-Human Interaction (SIGCHI), 2017-05-09 |
Connecting Users with Similar Interests Across MultipleWeb Services Kwak, Haewoon; Shin, Hwa-Yong; Yoon, Jong-Il; Moon, Sue Bok, 3rd Int'l AAAI Conference on Weblogs and Social Media, Association for the Advancement of Artificial Intelligence (AAAI), 2009-05 |
Connectivities of Recursive Circulant Graphs Chwa Kyung Yong, In Proc. of KISS Conf., pp.591 - 594, 1992-01-01 |
Connector oriented workflow system for the support of structured ad hoc workflow Han, Dongsoo; Shim, J, The 33rd Annual Hawaii International Conference on System Siences (HICSS-33), pp.145 - 0, 2000-01-04 |
Consensus building in collaborative sequencing with visual awareness Kim, Tae Soo; Hong, Sungsoo; Goyal, Nitesh; Kim, Jeongyeon; Kim, Juho, ACM CHI Conference on Human Factors in Computing Systems, CHI EA 2020, Association for Computing Machinery, 2020-04-27 |
Conserved domain combination identification in human proteins Jung, S.H.; Kim, D.; Han, Dongsoo, 22nd International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINA 2008, pp.802 - 807, IEEE, 2008-03-25 |
Discover