蒙祖·金
人员信息
优化列表
2020年–今天
2022 [公元42年] 李亚昌 , 伊尔凡·阿里克 , 金云浩(Yunho Kim) , 蒙祖·金 以下为:
POWER:程序选项-软件模糊器,用于高错误检测能力。 ICST公司 2022 以下为: 220-231 [公元41年] 罗伯特·塞巴斯蒂安·赫利姆 , 金云浩(Yunho Kim) , 蒙祖·金 以下为:
CITRUS:面向现实世界C++程序的自动单元测试工具。 ICST公司 2022 以下为: 400-410 2021 [公元14年] Nakwon Lee公司 , 金云浩(Yunho Kim) , 蒙祖·金 , 杜珊·柳 , 钟蒙拜克 以下为:
用于快速抽象可达性分析的定向模型检查。 IEEE接入 9 以下为: 158738-158750 ( 2021 ) [公元40年] 罗伯特·塞巴斯蒂安·赫利姆 , 申红(Shin Hong) , 金云浩(Yunho Kim) , 蒙祖·金 以下为:
EvoSuite对SBST 2020工具竞争基准的有效性的实证研究。 SSBSE公司 2021 以下为: 121-135 2020 [j13] 金云浩(Yunho Kim) , 李东菊 , Junki Baek先生 , 蒙祖·金 以下为:
MAESTRO:自动化测试生成框架,可在汽车行业实现高测试覆盖率和减少人力投入。 Inf.软件。 Technol公司。 123 以下为: 106221 ( 2020 )
2010 – 2019
2019 [j12] 金云浩(Yunho Kim) , Seokhyeon门 , 申耀(Shin Yoo) , 蒙祖·金 以下为:
利用目标程序的动态和静态特征进行精确的学习-排序故障定位。 ACM事务处理。 柔和。 工程方法。 28 ( 4 ) 以下为: 23:1-23:34 ( 2019 ) [公元39年] 金云浩(Yunho Kim) , 李东菊 , Junki Baek , Moonzoo Kim公司 以下为:
在汽车行业中,为实现高测试覆盖率和减少人工工作量而进行的和谐测试。 ICSE(SEIP) 2019 以下为: 151-160 [公元38年] 桑帕斯·坎南 , 蒙祖·金 , 因苏普·李 , 奥列格·索科尔斯基 , 马赫什·维斯瓦纳坦 以下为:
回顾监控与检查(MaC)框架。 RV汽车 2019 以下为: 1-14 [公元37年] 金云浩(Yunho Kim) , 申红(Shin Hong) , 蒙祖·金 以下为:
目标驱动的成分调和测试和功能摘要优化,用于有效的错误检测。 ESEC/SIGSOFT FSE 2019 以下为: 16-26 2018 [公元36年] 金云浩(Yunho Kim) , Yunja Choi先生 , 蒙祖·金 以下为:
使用扩展单元和符号报警过滤对C程序进行精确的协调单元测试。 ICSE公司 2018 以下为: 315-326 [公元35年] Duy Loc Phan公司 , 金云浩(Yunho Kim) , 蒙祖·金 以下为:
MUSIC:具有高度可配置性和可扩展性的突变分析工具。 ICST研讨会 2018 以下为: 40-46 [c34] 金云浩(Yunho Kim) , 申红(Shin Hong) , Bongseok Ko公司 , Duy Loc Phan公司 , 蒙祖·金 以下为:
侵入性软件测试:改变目标程序以多样化测试探索以实现高测试覆盖率。 ICST公司 2018 以下为: 239-249 2017 [公元11年] 申红(Shin Hong) , Taehoon Kwak公司 , 再见,李 , Yiru Jeon公司 , Bongseok Ko公司 , 金云浩(Yunho Kim) , 蒙祖·金 以下为:
博物馆:使用变异分析调试现实世界中的多语言程序。 Inf.软件。 Technol公司。 82 以下为: 80-95 ( 2017 ) 2015 [公元10年] 徐志宏 , 金云浩(Yunho Kim) , 蒙祖·金 , 迈拉·B·科恩 , 格雷格·罗瑟梅尔 以下为:
定向测试套件增强:一项实证调查。 柔和。 测试。 验证可靠性。 25 ( 2 ) 以下为: 77-114 ( 2015 ) [公元9年] 申红(Shin Hong) , 蒙祖·金 以下为:
多线程程序的种族错误检测技术综述。 柔和。 测试。 验证可靠性。 25 ( 三 ) 以下为: 191-217 ( 2015 ) [j8] 申红(Shin Hong) , 马特·斯塔茨 , Jaemin Ahn , 蒙祖·金 , 格雷格·罗瑟梅尔 以下为:
并发覆盖度量对于测试是否有效:一项全面的实证调查。 柔和。 测试。 验证可靠性。 25 ( 4 ) 以下为: 334-370 ( 2015 ) [公元33年] 永拜公园 , 申红(Shin Hong) , 蒙祖·金 , 李东菊 , 赵俊熙 以下为:
具有不确定性事件的反应式软件的系统测试:LG电烤箱案例研究。 ICSE(2) 2015 以下为: 29-38 [公元32年] 申宏 , 再见,李 , Taehoon Kwak公司 , Yiru Jeon公司 , Bongsuk Ko公司 , 金云浩(Yunho Kim) , 蒙祖·金 以下为:
现实世界多语言程序的基于突变的故障定位(T)。 ASE公司 2015 以下为: 464-475 2014 [公元31年] 金云浩(Yunho Kim) , 蒙祖·金 以下为:
基于SAT的嵌入式软件有界软件模型检查:案例研究。 亚太经合组织(1) 2014 以下为: 55-62 [公元30年] 申红(Shin Hong) , 永拜公园 , 蒙祖·金 以下为:
检测客户端Java脚本Web应用程序中的并发错误。 ICST公司 2014 以下为: 61至70 [公元29年] Seokhyeon Moon(Seokhyeon月亮) , 金云浩(Yunho Kim) , 蒙祖·金 , 申耀(Shin Yoo) 以下为:
询问变异者:变异错误程序以进行错误定位。 ICST公司 2014 以下为: 153-162 [c28] 金允浩 , 徐志宏 , 蒙祖·金 , 迈拉·B·科恩 , 格雷格·罗瑟梅尔 以下为:
混合定向测试套件增强:交错框架。 ICST公司 2014 以下为: 263-272 2013 [j7] 申红(Shin Hong) , 蒙祖·金 以下为:
针对操作系统的有效模式驱动并发错误检测。 J.系统。 柔和。 86 ( 2 ) 以下为: 377-388 ( 2013 ) [j6] 金英珠 , Okjoo Choi先生 , 蒙祖·金 , 钟蒙拜克 , Tai-Hyo Kim先生 以下为:
通过统计模型检查尽早验证软件可靠性。 IEEE软件。 30 ( 三 ) 以下为: 35-41 ( 2013 ) [公元27年] 申红(Shin Hong) , 马特·斯塔茨 , 安杰明(Jaemin Ahn) , 蒙祖·金 , 格雷格·罗瑟梅尔 以下为:
并发覆盖度量对测试有效性的影响。 ICST公司 2013 以下为: 232-241 [公元26年] 金云浩(Yunho Kim) , 尤伊尔·金 , Taeksu Kim公司 , 李刚宇(Gunwoo Lee) , Yoonkyu Jang(Yoonkyu Jang) , 蒙祖·金 以下为:
使用协调测试对大型工业嵌入式软件进行自动化单元测试。 ASE公司 2013 以下为: 519-528 2012 [j5] 蒙祖·金 , 金允浩 , Yunja Choi先生 以下为:
闪存存储平台软件多扇区读取操作的简明测试。 形式方面计算。 24 ( 三 ) 以下为: 355-374 ( 2012 ) 【j4】 Yunja Choi先生 , 蒙祖·金 以下为:
用于自底向上集成和验证抽象组件的受控组合和抽象。 Inf.软件。 Technol公司。 54 ( 1 ) 以下为: 119-136 ( 2012 ) [公元25年] 年轻的Joo Kim , 蒙祖·金 , Tai-Hyo Kim先生 以下为:
安全关键混合系统的统计模型检查:经验评估。 海法核查会议 2012 以下为: 162-177年 [公元24年] 金云浩(Yunho Kim) , 蒙祖·金 , 年轻的Joo Kim , Yoonkyu Jang(Yoonkyu Jang) 以下为:
调和试验方法的工业应用:使用CREST-BV和KLEE对libexif的案例研究。 ICSE公司 2012 以下为: 1143-1152 【c23】 蒙祖·金 , 金云浩(Yunho Kim) , 格雷格·罗瑟梅尔 以下为:
一种可扩展的分布式一致性测试方法:实证评估。 ICST公司 2012 以下为: 340-349 [公元22年] 蒙祖·金 , 金云浩(Yunho Kim) , Yoonkyu Jang先生 以下为:
嵌入式软件协议测试的工业应用:案例研究。 ICST公司 2012 以下为: 390-399 【c21】 年轻的Joo Kim , 蒙祖·金 以下为:
可靠安全关键系统的混合统计模型检验技术。 ISSRE公司 2012 以下为: 51岁至60岁 [公元20年] 马特·斯塔茨 , 申红(Shin Hong) , 蒙祖·金 , 格雷格·罗瑟梅尔 以下为:
理解用户理解:确定生成的程序不变量的正确性。 ISSTA公司 2012 以下为: 188-198 [第19条] 申红(Shin Hong) , 安杰明(Jaemin Ahn) , 桑民公园 , 蒙祖·金 , 玛丽·让·哈罗德 以下为:
测试并发程序以实现高同步覆盖率。 ISSTA公司 2012 以下为: 210-220 2011 [j3] 蒙祖·金 , 金云浩(Yunho Kim) , Hotae Kim公司 以下为:
软件模型检查器作为单元测试工具的比较研究:工业案例研究。 IEEE传输。 软件工程。 37 ( 2 ) 以下为: 146-160 ( 2011 ) [第18条] 蒙祖·金 , 金云浩(Yunho Kim) 以下为:
工业嵌入式软件的自动分析。 ATVA公司 2011 以下为: 51至59 [第17条] 徐志宏 , 金云浩(Yunho Kim) , 蒙祖·金 , 格雷格·罗瑟梅尔 以下为:
一种混合定向测试套件增强技术。 ISSRE公司 2011 以下为: 150-159 [第16条] 金云浩(Yunho Kim) , 蒙祖·金 以下为:
SCORE:用于可靠嵌入式软件的可扩展混合测试工具。 SIGSOFT FSE公司 2011 以下为: 第420页至第423页 2010 [第15条] 金云浩(Yunho Kim) , 蒙祖·金 , 南丹 以下为:
可扩展分布式协议测试:Flash存储平台上的案例研究。 ICTAC公司 2010 以下为: 199-213 [第14条] 徐志宏 , 金云浩(Yunho Kim) , 蒙祖·金 , 格雷格·罗瑟梅尔 , 迈拉·B·科恩 以下为:
定向测试套件增强:技术和权衡。 SIGSOFT FSE公司 2010 以下为: 257-266
2000 – 2009
2009 [第13条] 蒙祖·金 , 金云浩(Yunho Kim) 以下为:
闪存文件系统多扇区读取操作的一致性测试。 SBMF公司 2009 以下为: 251-265 [第12条] 蒙祖·金 , 申红(Shin Hong) , Changki Hong公司 , Taeho Kim先生 以下为:
通过反例重放对并发错误进行基于模型的内核测试。 MBT@预计到达时间 2009 以下为: 21-36 2008 [第11条] 蒙祖·金 , Yunja Choi先生 , 金云浩(Yunho Kim) , Hotae Kim公司 以下为:
通过模型检查技术预先测试Flash设备驱动程序。 ICST公司 2008 以下为: 475-484 [第10条] 蒙祖·金 , 金云浩(Yunho Kim) , Hotae Kim公司 以下为:
通过基于SAT的模型检查器对闪存设备驱动程序进行单元测试。 ASE公司 2008 以下为: 198-207 【c9】 蒙祖·金 , Yunja Choi先生 , 金云浩(Yunho Kim) , Hotae Kim公司 以下为:
闪存设备驱动程序的正式验证-经验报告。 自旋蛋白 2008 以下为: 144-159 [e1] 宋德查 , 崔金英(Jin-Young Choi) , 蒙祖·金 , 因苏普·李 , 马赫什·维斯瓦纳坦 以下为:
验证和分析自动化技术,第六届国际研讨会,2008年10月20日至23日,韩国首尔,ATVA 2008。 诉讼程序。 计算机科学课堂讲稿 5311, 施普林格 2008 ,国际标准图书编号 978-3-540-88386-9 [目录] 2007 [注2] 乔尔·埃斯波西托 , 蒙祖·金 以下为:
使用形式化建模和自动分析工具设计和参数化分析多机器人协调协议:案例研究。 IEEE传输。 系统。 人类网络。 A部分 37 ( 三 ) 以下为: 285-297 ( 2007 ) 【c8】 Moonzoo Kim公司 以下为:
网络安全设备高可用性协议的形式化建模与验证。 ATVA公司 2007 以下为: 489-500 2006 【c7】 Kyo Chul Kang先生 , Jaejoon Lee(李在雄) , Byungkil Kim先生 , 蒙祖·金 , Chang-woo Seo先生 , Seung-lyol于 以下为:
重组信用卡授权系统以实现组件的可维护性和可重用性- 案例研究 . ICSR公司 2006 以下为: 156-169 2005 【c6】 蒙祖·金 , Kyo Chul Kang先生 以下为:
家用服务机器人的正式构造和验证:案例研究。 ATVA公司 2005 以下为: 429-443 【c5】 Kyo Chul Kang先生 , 蒙祖·金 , 李在俊 , Byungkil Kim先生 , Youngjin Hong(杨金红) , Hyongki Lee(李孝基) , Seokwon Bang公司 以下为:
基于ASADAL/OBJ的家用服务机器人三维虚拟样机。 ICRA公司 2005 以下为: 2903-2908 【c4】 蒙祖·金 , Kyo Chul Kang先生 , Hyongki Lee(李孝基) 以下为:
机器人运动的形式化验证——以家用服务机器人SHR100为例。 ICRA公司 2005 以下为: 4739-4744 【c3】 Moonzoo Kim公司 , Jaejoon Lee(李在雄) , Kyo Chul Kang先生 , Youngjin Hong(杨金红) , Seokwon Bang公司 以下为:
家庭服务机器人软件体系结构再工程:案例研究。 ICSE公司 2005 以下为: 505-513 【c2】 Kyo Chul Kang先生 , 蒙祖·金 , Jaejoon Lee(李在雄) , Byungkil Kim先生 以下为:
以特征为导向将遗留系统重组为产品线资产——案例研究。 苏丹人民解放军 2005 以下为: 45-56岁 2004 [j1] 蒙祖·金 , 马赫什·维斯瓦纳坦 , 桑帕斯·坎南 , 因苏普·李 , 奥列格·索科尔斯基 以下为:
Java-MaC:Java程序的运行时保证方法。 形式化方法系统。 设计。 24 ( 2 ) 以下为: 129-155 ( 2004 ) 【c1】 马赫什·维斯瓦纳坦 , 蒙祖·金 以下为:
反应系统运行时监控基础-MaC语言基础。 ICTAC公司 2004 以下为: 543-556