阿米拉姆·耶胡代
人员信息
附属: 以色列特拉维夫大学
优化列表
2010 – 2019
2019 [公元30年] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
处理细粒度源代码更改的大型数据集。 国际中小企业联合会 2019 : 382-385 [公元29年] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
可视化探索软件维护活动。 VISSOFT公司 2019 : 110-114 [i11] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
面向软件分析:建模维护活动。 CoRR公司 abs/1903.04909 ( 2019 ) [i10] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
可视化探索软件维护活动。 CoRR公司 abs/1910.08907 ( 2019 ) [第九章] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
处理细粒度源代码更改的大型数据集。 CoRR公司 abs/1910.08908 ( 2019 ) 2018 [公元27年] 蒂姆·贝尔 , 保罗·泰曼 , 阿米拉姆·耶胡代 :
K-12课程的计算机科学大思想。 牛市。 EATCS公司 124 ( 2018 ) 2017 [公元28年] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
从细粒度语义变化的角度看测试维护和代码维护的协同进化。 国际中小企业联合会 2017 : 35-46 [公元27年] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
通过利用源代码更改将自动提交分类推进到维护活动中。 承诺 2017 : 97-106 [i8] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
从细粒度语义变化的角度看测试维护和代码维护的协同进化。 CoRR公司 腹肌/1709.09029 ( 2017 ) [i7] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
通过利用源代码更改将自动提交分类推进到维护活动中。 CoRR公司 abs/1711.05340 ( 2017 ) 2016 [c26] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
使用时间和语义开发人员级信息预测维护活动配置文件。 国际中小企业联合会 2016 : 463-467 [i6] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
使用时间和语义开发人员级信息预测维护活动配置文件。 CoRR公司 abs/1611.10053 ( 2016 ) 2015 [i5] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
协作实时编码或如何避免可怕的合并。 CoRR公司 abs/1504.06741 ( 2015 ) [i4] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
通过同步软件开发改进软件团队协作。 CoRR公司 abs/1504.06742 ( 2015 ) [i3] 德克尔·科恩 , 阿米拉姆·耶胡代 :
使用单个执行对真实世界回归Bug进行本地化。 CoRR公司 abs/1505.01286 ( 2015 ) [i2] 斯坦尼斯拉夫·莱文 , 阿米拉姆·耶胡代 :
通过细粒度视觉感知缓解合并冲突。 CoRR公司 abs/1508.01872 ( 2015 ) 2014 [i1] 叶夫根尼·瓦纳 , 阿米拉姆·耶胡代 :
驯服并发:在测试多线程软件时控制并发行为。 CoRR公司 abs/1409.0982 ( 2014 ) 2012 [公元25年] 伊戈尔·格尔夫加特 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
干扰功能的粒度代码生成。 联邦犯罪现场调查系统 2012 : 1333-1340 [c24] 阿列克谢·扎加尔斯基 , 奥哈德·巴兹雷 , 阿米拉姆·耶胡代 :
溢出示例:使用社交媒体推荐代码。 RSSE@ICSE公司 2012 : 38-42 2011 [公元26年] 伯恩哈德·贝克特 , 克里斯托夫·格拉迪什 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
KeYGenU:将基于验证的技术与捕获和回放技术相结合,用于回归单元测试。 国际期刊系统。 阿苏。 工程管理。 2 ( 2 ) : 97-113 ( 2011 ) 【c23】 哈盖·齐布尔斯基 , 阿米拉姆·耶胡代 :
用于测试驱动开发的回归测试选择技术。 ICST研讨会 2011 : 115-124 [公元22年] 奥哈德·巴兹雷 , 奥里特·哈赞 , 阿米拉姆·耶胡代 :
使用社交媒体研究专业开发人员使用示例的多样性。 SIGSOFT FSE公司 2011 : 472-475 2010 【c21】 阿米拉姆·耶胡代 :
计算机科学教育展望。 ISSEP公司 2010 : 35 [公元20年] 克里斯托夫·格拉迪什 , Shmuel S.Tyszberowicz先生 , 伯恩哈德·贝克特 , 阿米拉姆·耶胡代 :
使用验证和捕获与回放组合生成回归单元测试。 攻丝@工具 2010 : 61-76
2000 – 2009
2009 [公元25年] 本尼·帕斯捷尔纳克 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
GenUTest:一个单元测试和模拟方面生成工具。 国际期刊软件。 技术工具。 Transf公司。 11 ( 4 ) : 273-290 ( 2009 ) [公元24年] 奥哈德·巴兹雷 , 奥里特·哈桑 , 阿米拉姆·耶胡代 :
多维软件工程课程。 IEEE传输。 教育。 52 ( 三 ) : 413-424 ( 2009 ) [第19条] 奥哈德·巴兹雷 , 奥里特·哈桑 , 阿米拉姆·耶胡代 :
通过反思评估软件工程课程。 ITiCSE公司 2009 : 273-277 2008 [第18条] 尤里·芬克 , 阿米拉姆·耶胡代 :
状态方面的虚拟机支持。 工具(46) 2008 : 80-99 2007 [第17条] 多尔尼尔 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
查找回归错误。 海法核查会议 2007 : 218-234 [第16条] 本尼·帕斯捷尔纳克 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
GenUTest:一个单元测试和模拟方面生成工具。 海法核查会议 2007 : 252-266 [第15条] M.克莱曼 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
将特性重构为Java代码。 SwSTE公司 2007 : 35-47 2006 [第14条] S.Harrusi公司 , 阿米尔·阿弗布奇 , 阿米拉姆·耶胡代 :
XML语法意识压缩。 DCC公司 2006 : 402-411 [第13条] 斯特拉·莱文 , 阿米拉姆·耶胡代 :
进化测试:案例研究。 海法核查会议 2006 : 155-165 [第12条] 阿维·延克曼 , 阿米拉姆·耶胡代 :
受信任组件的强化Web服务合同。 ICWS公司 2006 : 919-926 2003 [第11条] 鲍里斯·利特瓦克 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
UML图的行为一致性验证。 SEFM公司 2003 : 118-125 2002 [第10条] 马蒂·肖姆拉特 , 阿米拉姆·耶胡代 :
是否明显 使用面向方面的编程规范体系结构决策。 AOSD公司 2002 : 3-9
1990 – 1999
1998 [公元23年] 亚里夫·阿里多尔 , 西蒙·科恩 , 阿米拉姆·耶胡代 :
隐式并行程序设计的参与者语言。 ACM SIGPLAN通知 33 ( 6 ) : 39-47 ( 1998 ) 【c9】 韦里德·加夫尼 , 伊莎·费尔德曼 , 阿米拉姆·耶胡代 :
使用MASS进行实时系统开发。 蒙特雷研讨会 1998 : 73-86 1997 [公元22年] 阿姆农·H·伊登 , 约瑟夫·吉尔 , 阿米拉姆·耶胡代 :
自动化设计模式的应用。 J.面向对象程序。 10 ( 2 ) : 44-46 ( 1997 ) [公元21年] 亚里夫·阿里多尔 , 西蒙·科恩 , 阿米拉姆·耶胡代 :
SYMPAL:用于隐式并发面向对象编程的软件环境。 面向对象系统。 4 : 53-81 ( 1997 ) 【c8】 阿姆农·H·伊登 , 阿米拉姆·耶胡代 :
议程模式。 ECOOP研讨会 1997 : 100-104 【c7】 阿姆农·H·伊登 , 阿米拉姆·耶胡代 , 约瑟夫·吉尔 :
设计模式的精确规范和自动应用。 ASE公司 1997 : 143-152 1996 [公元20年] 肖尔·西米 , 韦里德·加夫尼 , 阿米拉姆·耶胡代 :
结合反射图和有限状态图进行设计实施。 理论与实践。 对象系统。 2 ( 4 ) : 269-281 ( 1996 ) 1995 [公元19年] 朱迪斯·加尔·埃泽 , 卡特里尔·比里 , 哈雷尔 , 阿米拉姆·耶胡代 :
计算机科学高中课程。 电脑类 28 ( 10 ) : 73-80 ( 1995 ) [公元18年] 阿米拉姆·耶胡代 , 费尔南多·利宾斯基 :
关于调整递归过程。 柔和。 实际。 支出。 25 ( 9 ) : 997-1002 ( 1995 ) 1994 【c6】 韦里德·加夫尼 , 阿米拉姆·耶胡代 , 伊莎·费尔德曼 :
面向激活的实时系统规范。 FTRTFT公司 1994 : 268-287 1993 [公元17年] 埃兰·加伯 , 阿米尔·阿弗布奇 , 阿米拉姆·耶胡代 :
可移植的并行编译器。 IEEE软件。 10 ( 2 ) : 71-81 ( 1993 ) [公元16年] 瓦尔迪斯·贝尔津斯 , 卢奇 , 阿米拉姆·耶胡代 :
在基于规范的原型中使用转换。 IEEE传输。 软件工程。 19 ( 5 ) : 436-452 ( 1993 ) 1992 [公元15年] Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
OBSERV——一种原型语言和环境。 ACM事务处理。 柔和。 工程方法。 1 ( 三 ) : 269-309 ( 1992 ) 1991 【c5】 阿维夫·科恩 , Shmuel S.Tyszberowicz先生 , 阿米拉姆·耶胡代 :
使用CRUISE/OBSERV的用户界面规范。 COMPSAC公司 1991 : 104-109 【c4】 埃兰·加伯 , 阿米尔·阿弗布奇 , 阿米拉姆·耶胡代 :
具有便携式并行Pascal编译器的经验。 ICPP(2) 1991 : 207-210
1980 – 1989
1986 [公元14年] Yael Maon公司 , 阿米拉姆·耶胡代 :
多值转导的平衡和等价问题。 西奥。 计算。 科学。 47 ( 三 ) : 247-262 ( 1986 ) 1984 [j13] 耶尔·伊扎克 , 阿米拉姆·耶胡代 :
确定DPDA和线性DPDA等效性的中间机器技术。 信息控制。 62 ( 1 ) : 26-35 ( 1984 ) [公元12年] Yael Maon公司 , 阿米拉姆·耶胡代 :
关于检查字母公平分布语言的形态等价性的测试集。 西奥。 计算。 科学。 33 : 239-260 ( 1984 ) [公元11年] 耶尔·伊扎克 , 阿米拉姆·耶胡代 :
非实时DPDA的新系列及其可决定性结果。 西奥。 计算。 科学。 34 : 255-274 ( 1984 ) 1983 [公元10年] 耶尔·克雷夫纳 , 阿米拉姆·耶胡代 :
简单优先语言的迭代定理。 美国临床医学杂志 30 ( 4 ) : 820-833 ( 1983 ) [公元9年] 简·皮特 , 阿米拉姆·耶胡代 :
从语法构造实时确定性下推自动机。 西奥。 计算。 科学。 22 : 57-69 ( 1983 ) 【c3】 耶尔·伊扎克 , 阿米拉姆·耶胡代 :
关于Finite-Turn语言的包含问题(扩展抽象)。 FCT公司 1983 : 219-231 1982 [j8] 阿米拉姆·耶胡代 :
实时确定性语言的层次结构及其等价性。 J.计算。 系统。 科学。 24 ( 1 ) : 91-100 ( 1982 ) 【c2】 耶尔·克雷夫纳 , 阿米拉姆·耶胡代 :
简单优先语言的迭代定理(扩展抽象)。 ICALP公司 1982 : 360-368 1981 [j7] 迈克尔·哈里森 , 阿米拉姆·耶胡代 :
消除线性时间中的空规则。 计算。 J。 24 ( 2 ) : 156-161 ( 1981 ) [j6] Mordechai Ben Ari公司 , 阿米拉姆·耶胡代 :
Ada模块化使用的方法。 ACM SIGPLAN通知 16 ( 12 ) : 22-26 ( 1981 ) 【c1】 耶尔·伊扎克 , 阿米拉姆·耶胡代 :
两个DPDA等价的判定过程,其中一个是线性的(扩展抽象)。 ICALP公司 1981 : 229-237 1980 [j5] 阿米拉姆·耶胡代 :
线性文法族等价性的判定。 信息控制。 47 ( 2 ) : 122-136 ( 1980 ) 【j4】 阿米拉姆·耶胡代 :
自动缩进与程序格式。 ACM SIGPLAN通知 15 ( 10 ) : 85-87 ( 1980 )
1970 – 1979
1979 [j3] 阿米拉姆·耶胡代 :
关于正则语言泵浦引理的注记。 信息处理。 莱特。 9 ( 三 ) : 135-136 ( 1979 ) [注2] 迈克尔·哈里森 , 阿米拉姆·耶胡代 :
确定性语言的层次结构。 J.计算。 系统。 科学。 19 ( 1 ) : 63-78 ( 1979 ) [j1] 迈克尔·哈里森 , 伊凡·哈维尔 , 阿米拉姆·耶胡代 :
通过转换树研究语法的等价性。 西奥。 计算。 科学。 9 : 173-205 ( 1979 )