Showing results 3261 to 3280 of 16122
Conceptual Graph Matching as a Plausible Inferencing Technique for Text Retrieval Myaeng, Sung Hyon, The 5th Annual Workshop on Conceptual Graphs, v.0, no.0, pp.0 - 0, 1990-07 |
Conceptual Graph Matching: A Flexible Algorithm and Experiments Myaeng, Sung Hyon; Aurelio Lopez-Lopez, JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, v.4, no.2, pp.107 - 126, 1992-03 |
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 |
Discover