Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Youngjoo
Showing results 1 to 3 of 3
| Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Kim, Youngjoo; Kim, Moonzoo, International Symposium on Software Reliability Engineering (ISSRE), IEEE, 2012-11-28 |
| 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 |
| Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation Kim, Youngjoo; Kim, Moonzoo; Kim, Tai Hyo, Haifa Verification Conference (HVC), IBM Research Haifa, 2012-11-07 |
Discover
Type
- 102 Article
- 7,390 Conference
- 1 Thesis
Date issued
- 937 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989