苏泽特人
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [公元27年] 伊桑·贝特 , 苏泽特人 , 克里斯托弗·博恩 :
学生资助的“拱顶石课程”项目:反思与经验教训。 ICSE(SEET) 2022 : 254-264 2021 [公元26年] 科林·马利 , 苏泽特人 , Leen-Kiat Soh公司 :
SE-First:软件工程教育的新方法。 外商投资企业 2021 : 1-9
2010 – 2019
2016 [公元25年] 本杰明·希勒里 , 埃里克·默瑟 , 内哈·隆塔 , 苏泽特人 :
符号执行的精确堆摘要。 VMCAI公司 2016 : 206-225 2015 [j7] 罗迪·克尔斯滕 , 苏泽特人 , 内哈·隆塔 , Oksana Tkachuk公司 :
改进由符号PathFinder为带有循环的程序生成的测试用例的覆盖率。 ACM SIGSOFT软件。 工程注释 40 ( 1 ) : 1-5 ( 2015 ) [公元24年] 迈克尔·沃伦 , 苏泽特人 , 内哈·隆塔 , 马特·斯塔茨 , 丹妮拉·格里金库 :
一种计算复杂结构覆盖度量的灵活非侵入方法。 集成电路板(1) 2015 : 506-516 【c23】 马蒂亚斯·滑铁卢 , 苏泽特人 , 塞巴斯蒂安·埃尔鲍姆 :
测试分析:搜索测试中的故障(N)。 ASE公司 2015 : 149-154 [公元22年] 安妮莎·穆鲁根 , 迈克尔·沃伦 , 内哈·隆塔 , Oksana Tkachuk公司 , 苏泽特人 , 艾瑞克·海姆达尔的垫子 , 东江游 :
我们到了吗? 确定正式需求和测试套件的充分性。 非金融市场 2015 : 279-294 2014 [j6] 本杰明·希勒里 , 埃里克·默瑟 , 内哈·隆塔 , 苏泽特人 :
走向一个懒惰的象征性探路者。 ACM SIGSOFT软件。 工程注释 39 ( 1 ) : 1-5 ( 2014 ) [j5] 杨国伟 , 苏泽特人 , 内哈·隆塔 , 萨尔弗拉兹·库尔希德 :
定向增量符号执行。 ACM事务处理。 柔和。 工程方法。 24 ( 1 ) : 3:1-3:42 ( 2014 ) 【c21】 内哈·隆塔 , Oksana Tkachuk公司 , 苏泽特人 , 杰森·比亚泰克 , 迈克尔·沃伦 , 约瑟夫·卡斯尔 , 凯伦·冈迪·布雷特 :
帮助系统工程师跨越高峰。 双峰(TwinPeaks) 2014 : 9-13 [公元20年] 安妮塔·萨玛 , 约书亚·布兰考 , 马修·德怀尔 , 苏泽特人 , 内哈·隆塔 :
发展背景驱动的变革意识和分析框架。 ICSE伴侣 2014 : 404-407 [第19条] 王玉荣 , 苏泽特人 , 塞巴斯蒂安·埃尔鲍姆 , 马修·德怀尔 :
使用测试为测试提供建议的框架。 ICSE伴侣 2014 : 440-443 [第18条] 杨国伟 , 萨尔夫拉兹·库希德 , 苏泽特人 , 内哈·隆塔 :
用于增量检查的属性差异。 集成电路 2014 : 1059-1070 [第17条] 张玲明 , 杨国伟 , 内哈·隆塔 , 苏泽特人 , 萨尔夫拉兹·库希德 :
反馈驱动的动态不变量发现。 ISSTA公司 2014 : 362-372 2013 【j4】 苏泽特人 , 内哈·隆塔 :
维护软件监控器的运行状况。 因诺夫。 系统。 柔和。 工程师。 9 ( 4 ) : 257-269 ( 2013 ) [第16条] 白沙基射线 , 米荣·金 , 苏泽特人 , 内哈·隆塔 :
检测和描述移植代码中的语义不一致。 ASE公司 2013 : 367-377 [第15条] 约翰·D·巴克斯 , 苏泽特人 , 内哈·隆塔 , Oksana Tkachuk公司 :
使用影响摘要进行回归验证。 自旋蛋白 2013 : 99-116 2012 [j3] 埃里克·默瑟 , 苏泽特人 , 内哈·隆塔 :
使用Java PathFinder扩展计算和可视化更改的影响。 ACM SIGSOFT软件。 工程注释 37 ( 6 ) : 1-5 ( 2012 ) [第14条] 内哈·隆塔 , 苏泽特人 , 约书亚·布兰考 :
描述不断演变的采办项目行为的变更影响分析。 ICSM公司 2012 : 109-118 [电子1] 阿尔文·古德洛 , 苏泽特人 :
2012年4月3日至5日,美国弗吉尼亚州诺福克,2012年美国国家航空航天局正式方法第四届国际研讨会,美国国家海洋气象局。 诉讼程序。 计算机科学课堂讲稿 7226, 施普林格 2012 ,国际标准图书编号 978-3-642-28890-6 [目录] 2011 [第13条] 苏泽特人 , 杨国伟 , 内哈·隆塔 , 萨尔夫拉兹·库希德 :
定向增量符号执行。 PLDI公司 2011 : 504-515 2010 [第12条] 马修·德怀尔 , Rahul Purandare公司 , 苏泽特人 :
上下文中的运行时验证:优化错误检测可以改进故障诊断吗? RV汽车 2010 : 36-50
2000 – 2009
2009 [第11条] 苏泽特人 , 马修·德怀尔 :
不同堆操作程序的广义抽象符号摘要。 NASA形式方法 2009 : 46-55 2008 [第10条] 科琳娜·帕萨雷努 , 彼得·梅利茨 , 大卫·H·布什内尔 , 凯伦·冈迪·布雷特 , 迈克尔·罗瑞 , 苏泽特人 , 马克·佩普 :
结合单元级符号执行和系统级具体执行来测试NASA软件。 ISSTA公司 2008 : 15-26 【c9】 苏泽特人 , 马修·德怀尔 , 塞巴斯蒂安·埃尔鲍姆 , 科琳娜·帕萨雷努 :
差异符号执行。 SIGSOFT FSE公司 2008 : 226-237 2007 【c8】 马修·德怀尔 , 塞巴斯蒂安·埃尔鲍姆 , 苏泽特人 , Rahul Purandare公司 :
并行随机状态空间搜索。 集成电路 2007 : 3-12 【c7】 塞巴斯蒂安·埃尔鲍姆 , 苏泽特人 , 乔纳森·多库利尔 , 马修·乔德 :
缺陷搜寻:使早期软件测试课程具有吸引力且价格合理。 集成电路 2007 : 688-697 2006 【c6】 马修·德怀尔 , 苏泽特人 , 塞巴斯蒂安·埃尔鲍姆 :
评估路径敏感错误检测技术的控制因素。 SIGSOFT FSE公司 2006 : 92-104 2005 【c5】 Leen-Kiat Soh公司 , 阿肖克·萨马尔 , 苏泽特人 , 格温·纽金特 , 杰夫·朗 :
分析CS1中封闭实验室和课程活动之间的关系。 ITiCSE公司 2005 : 183-187 【c4】 格温·纽金特 , Leen-Kiat Soh公司 , 阿肖克·萨马尔 , 苏泽特人 , 杰夫·朗 :
CS1学习对象的设计、开发和验证。 ITiCSE公司 2005 : 370 【c3】 Leen-Kiat Soh公司 , 阿肖克·萨马尔 , 苏泽特人 , 格温·纽金特 , 杰夫·朗 :
CS1嵌入式教学研究设计的封闭实验室。 SIGCSE公司 2005 : 297-301 【c2】 Leen-Kiat Soh公司 , 阿肖克·萨马尔 , 苏泽特人 , 格温·纽金特 , 杰夫·朗 :
设计、实施和分析CS入门课程的安置测试。 SIGCSE公司 2005 : 505-509 2004 【c1】 托德·布兰克 , Leen-Kiat Soh公司 , 李·迪·米勒 , 苏泽特人 :
提供学习材料的基于案例的学习机制。 ICMLA公司 2004 : 423-428
1990 – 1999
1997 [注2] 苏泽特人 :
书评:John Williams,每一个软件经理必须知道什么才能用对象技术取得成功。 ACM SIGSOFT软件。 工程注释 22 ( 1 ) : 109 ( 1997 ) 1996 [j1] 苏泽特人 :
书评:对象入门。 ACM SIGSOFT软件。 工程注释 21 ( 4 ) : 104 ( 1996 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)