logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Moonzoo Kim

korea institute of science & technology (kist)

23H指数
76论文数
1.9K被引数
收录论文 10
发表时间
logo
ZigZagFuzz: Interleaved Fuzzing of Program Options and FilesZigZagFuzz: 程序选项和文件的交错模糊
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2025-01-21
err0
PREAI
errLee, Ahcheong; Choi, Youngseok; Hong, Shin; Kim, Yunho; Cho, Kyutae; Kim, Moonzoo
err分享
err收藏
Directed Model Checking for Fast Abstract Reachability Analysis
errIEEE ACCESS
IF3.6
err2021-01-01
err0
errOAAI
errLee, Nakwon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon
err分享
err收藏
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industryMAESTRO: 自动测试生成框架，可实现汽车行业的高测试覆盖率和减少人力投入
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2020-07-01
err3
PREAI
errKim, Yunho; Lee, Dongju; Baek, Junki; Kim, Moonzoo
err分享
err收藏
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2019-10-09
err44
PREAI
errKim, Yunho; Mun, Seokhyeon; Yoo, Shin; Kim, Moonzoo
err分享
err收藏
MUSEUM: Debugging real-world multilingual programs using mutation analysis
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2017-02-01
err28
errOAAI
errHong, Shin; Kwak, Taehoon; Lee, Byeongcheol; Jeon, Yiru; Ko, Bongseok; Kim, Yunho; Kim, Moonzoo
err分享
err收藏
Validating Software Reliability Early through Statistical Model Checking
errIEEE SOFTWARE
IF3
err2013-05-01
err13
PREAI
errKim, Youngjoo; Choi, Okjoo; Kim, Moonzoo; Baik, Jongmoon; Kim, Tai-Hyo
err分享
err收藏
Effective pattern-driven concurrency bug detection for operating systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2013-02-01
err13
PREAI
errHong, Shin; Kim, Moonzoo
err分享
err收藏
Controlled composition and abstraction for bottom-up integration and verification of abstract components
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2012-01-01
err1
PREAI
errChoi, Yunja; Kim, Moonzoo
err分享
err收藏
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2011-03-01
err24
errOAAI
errKim, Moonzoo; Kim, Yunho; Kim, Hotae
err分享
err收藏
Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle
errIEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS
IF17.2
err2004-12-01
err12
PREAI
errSeol, S; Kim, M; Chanson, ST; Kang, S
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Shin Yoo
H 指数: 39 · 论文数: 217
S
Seung Kwon Seol
H 指数: 26 · 论文数: 87
S
Samuel T. Chanson
H 指数: 23 · 论文数: 209
J
Jongmoon Baik
H 指数: 23 · 论文数: 137
S
Sungwon Kang
H 指数: 20 · 论文数: 191
查看更多