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