DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Yunho

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 13 to 24 of 24

13	Hybrid Directed Test Suite Augmentation: An Interleaving Framework Kim, Yunho; Xu, Zhihong; Kim, Moonzoo; Cohen, Myra B.; Rothermel, Gregg, International Conference on Software Testing, Verification and Validation (ICST), IEEE Computer Society, 2014-04-02
14	Industrial Application of Concolic Testing Approach: A Case Study on libexif by Using CREST-BV and KLEE Kim, Yunho; Kim, Moonzoo; Kim, Youngjoo; Jang, Yoonkyu, International Conference on Software Engineering, IEEE/ACM, 2012-06-07
15	Industrial Application of Concolic Testing on Embedded Software: Case Studies Kim, Moonzoo; Kim, Yunho; Jang, Yoonkyu, IEEE International Conference on Software Testing, Verification and Validation (ICST), IEEE, 2012-04-18
16	Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage Kim, Yunho; Hong, Shin; Ko, Bongsuk; Phan Duy Loc; Kim, Moonzoo, IEEE Conference on Software Testing, Validation and Verification (ICST), pp.239 - 249, IEEE(Computer Society), 2018-04-11
17	MUSIC: Mutation Analysis Tool with High Configurability and Extensibility Phan Duy Loc; Kim, Yunho; Kim, Moonzoo, 11th IEEE International Conference on Software Testing, Verification and Validation (ICST), pp.40 - 46, IEEE(Computer Society), 2018-04-19
18	POWER: Program Option-Aware Fuzzer for High Bug Detection Ability Lee, Ahcheong; Ariq, Irfan; Kim, Yunho; Kim, Moonzoo, IEEE International Conference on Software Testing, Verification and Validation (ICST), pp.220 - 231, Institute of Electrical and Electronics Engineers Inc., 2022-04-06
19	Pre-testing Flash Device Driver through Model Checking Techniques Kim, Moonzoo; Kim, Yunho; Choi, Yunja; Kim, Hotae, IEEE International Conference on Software Testing, Verification and Validation, pp.475 - 484, IEEE, 2008-04-11
20	Precise Concolic Unit Testing of C Programs Using Extended Units and Symbolic Alarm Filtering Kim, Yunho; Choi, Yunja; Kim, Moonzoo, International Conference on Software Engineering (ICSE), pp.315 - 326, IEEE Computer Society and ACM SIGSOFT, 2018-05-30
21	Scalable distributed concolic testing: A case study on a flash storage platform Kim, Yunho; Kim, Moonzoo; Dang, Nam, 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, pp.199 - 213, ICTAC'10, 2010-09-01
22	SCORE: A scalable concolic testing tool for reliable embedded software Kim, Yunho; Kim, Moonzoo, ACM SIGSOFT Foundation of Software Engineering (FSE) Tool demonstration track, pp.420 - 423, ACM SIGSOFT Foundation of Software Engineering (FSE) Tool demonstration track, 2011-09-05
23	Target-driven compositional concolic testing with function summary refinement for effective bug detection Kim, Yunho; Hong, Shin; Kim, Moonzoo, 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2019, pp.16 - 26, Association for Computing Machinery, Inc, 2019-08-29
24	Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker Kim, Moonzoo; Kim, Yunho; Kim, Hotae, ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.198 - 207, IEEE Computer Society and ACM SIGSFOT, 2008-09-15

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0