穆罕默德·阿明·阿利普尔
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年-今天
2024 [c33] 马丁·阿莫扎德 , 戴维·丹尼尔斯 , 大冶南 , 阿尤什·库马尔 , 斯特拉·陈 , 迈克尔·希尔顿 , 斯鲁蒂·斯里尼瓦萨·拉加万 , 穆罕默德·阿明·阿利普尔 :
学生对生成性人工智能的信任:一项探索性研究。 SIGCSE(一) 2024 : 67-73 [i31] 克劳迪奥·斯皮斯 , 大卫·格罗斯 , Kunal Suresh Pai公司 , 迈克尔·普拉德尔 , 拉菲克·伊斯兰·拉宾 , 阿明·阿里普尔 , 苏斯米特·贾 , 普雷姆·德凡布 , 图菲克·艾哈迈德 :
代码语言模型的校准和正确性。 CoRR公司 abs/2402.02047 ( 2024 ) [i30] 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 纳维德·阿尤比 , 穆罕默德·阿明·阿利普尔 :
测量中毒对模型参数和神经元激活的影响:中毒代码BERT的案例研究。 CoRR公司 腹肌/2402.12936 ( 2024 ) [i29] 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
关于大型语言代码模型中的特洛伊木马签名。 CoRR公司 abs/2402.16896 ( 2024 ) [第28条] 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 图菲克·艾哈迈德 , 徐伯文(Bowen Xu) , Premkumar T.Devanbu公司 , 穆罕默德·阿明·阿利普尔 :
大型代码语言模型中的木马:通过基于触发器的分类法进行的批判性审查。 CoRR公司 abs/2405.02828 ( 2024 ) [i27] 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
度量中毒对模型参数的影响以及大型语言代码模型的嵌入。 CoRR公司 腹肌/2405.11466 ( 2024 ) 2023 [公元10年] 拉菲克·伊斯兰·拉宾 , 阿夫塔布·侯赛因 , 穆罕默德·阿明·阿利普尔 , 文森特·海伦多恩 :
神经代码智能模型中的记忆和泛化。 Inf.柔软。 Technol公司。 153 : 107066 ( 2023 ) [公元9年] 巴德·阿尔卡齐 , 阿明·阿里普尔 :
智能合约和区块链应用程序的多目标测试选择。 同行J计算。 科学。 9 : e1587(电子1587) ( 2023 ) [公元32年] 马丁·阿莫扎德 , 戴维·丹尼尔斯 , 斯特拉·陈 , 大冶南 , 阿尤什·库马尔 , 迈克尔·希尔顿 , 穆罕默德·阿明·阿利普尔 , 斯鲁蒂·斯里尼瓦萨·拉加万 :
学生对生成性人工智能的信任特征。 制冰机(2) 2023 : 3-4 [公元31年] 拉菲克·伊斯兰·拉宾 , 阿夫塔布·侯赛因 , 萨希勒·苏内加 , 穆罕默德·阿明·阿利普尔 :
代码神经模型中干扰因子的研究。 InteNSE@ICSE 2023 : 1-7 [公元30年] 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 徐伯文(Bowen Xu) , 大卫·罗 , 穆罕默德·阿明·阿利普尔 :
代码神经模型中基于变量的特征丰富研究。 InteNSE@ICSE 2023 : 14-20 [i26] 拉菲克·伊斯兰·拉宾 , 阿夫塔布·侯赛因 , 萨希勒·苏内加 , 穆罕默德·阿明·阿利普尔 :
代码神经模型中干扰因子的研究。 CoRR公司 abs/2303.01739 ( 2023 ) [i25] 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 徐伯文(Bowen Xu) , 大卫·罗 , 穆罕默德·阿明·阿利普尔 :
代码神经模型中基于变量的特征丰富研究。 CoRR公司 abs/2303.04942 ( 2023 ) 【i24】 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 图菲克·艾哈迈德 , 徐伯文(Bowen Xu) , 普雷姆·德凡布 , 穆罕默德·阿明·阿利普尔 :
源代码神经模型中木马的调查:分类和技术。 CoRR公司 abs/2305.03803 ( 2023 ) [第23条] 马丁·阿莫扎德 , 戴维·丹尼尔斯 , 大冶南 , 斯特拉·陈 , 迈克尔·希尔顿 , 斯鲁蒂·斯里尼瓦萨·拉加万 , 穆罕默德·阿明·阿利普尔 :
学生对生成性人工智能的信任:一项探索性研究。 CoRR公司 abs/2310.04631 ( 2023 ) [i22] 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
TrojanedCM:源代码中毒神经模型库。 CoRR公司 abs/2311.14850 ( 2023 ) 【i21】 阿夫塔布·侯赛因 , 拉菲克·伊斯兰·拉宾 , 图菲克·艾哈迈德 , 穆罕默德·阿明·阿利普尔 , 徐伯文(Bowen Xu) :
基于遮挡的检测大型语言代码模型中触发木马的输入。 CoRR公司 abs/2312.04004 ( 2023 ) 2022 [j8] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
ProgramTransformer:用于生成语义等价的转换程序的工具。 柔和。 影响 14 : 100429 ( 2022 ) [j7] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
FeatureExtractor:用于提取代码智能模型的关键输入功能的工具。 柔和。 影响 14 : 100432 ( 2022 ) [公元29年] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
Code2Snapshot:使用代码快照学习源代码的表示。 ICMLA公司 2022 : 843-848 [公元28年] 阿夫塔布·侯赛因 , 穆罕默德·阿明·阿利普尔 :
删除软件模糊处理中不感兴趣的字节。 ICST研讨会 2022 : 301-305 [公元27年] 拉菲克·伊斯兰·拉宾 , 阿夫塔布·侯赛因 , 穆罕默德·阿明·阿利普尔 :
用于理解神经代码智能模型的语法引导程序简化。 PLDI地图 2022 : 70-79 [i20] 拉菲克·伊斯兰·拉宾 , 阿夫塔布·侯赛因 , 穆罕默德·阿明·阿利普尔 :
用于理解神经代码智能模型的语法引导程序简化。 CoRR公司 abs/2205.14374 ( 2022 ) 2021 [j6] 拉菲克·伊斯兰·拉宾 , Nghi D.Q.Bui公司 , 王珂(Ke Wang) , Yijun余 , 凌霄江 , 穆罕默德·阿明·阿利普尔 :
关于神经程序模型在语义保持程序转换方面的可推广性。 Inf.柔软。 Technol公司。 135 : 106552 ( 2021 ) [j5] 朱利亚·托蒂 , 穆罕默德·阿明·阿利普尔 :
计算机科学专业学生对紧急远程教学的认知:一份经验报告。 序列号计算。 科学。 2 ( 5 ) : 378 ( 2021 ) [公元26年] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
使用错误报告配置测试生成器:GCC编译器和Csmith的案例研究。 囊 2021 : 1750-1758 [公元25年] 拉菲克·伊斯兰·拉宾 , 文森特·海伦多恩 , 穆罕默德·阿明·阿利普尔 :
通过程序简化了解神经代码智能。 ESEC/SIGSOFT FSE 2021 : 441-452 [i19] 拉菲克·伊斯兰·拉宾 , 文森特·海伦多恩 , 穆罕默德·阿明·阿利普尔 :
通过程序简化了解神经代码智能。 CoRR公司 abs/2106.03353 ( 2021 ) [i18] 拉菲克·伊斯兰·拉宾 , 阿夫塔布·侯赛因 , 文森特·海伦多恩 , 穆罕默德·阿明·阿利普尔 :
神经代码智能模型中的记忆和泛化。 CoRR公司 腹肌/2106.08704 ( 2021 ) [i17] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
将程序编码为图像:评估源代码的视觉表示。 CoRR公司 腹肌/2111.01097 ( 2021 ) [i16] 阿夫塔布·侯赛因 , 穆罕默德·阿明·阿利普尔 :
FMViz:可视化AFL在字节级生成的测试。 CoRR公司 abs/2112.13207 ( 2021 ) 【i15】 阿夫塔布·侯赛因 , 穆罕默德·阿明·阿利普尔 :
DIAR:在软件模糊处理中从种子中删除不感兴趣的字节。 CoRR公司 abs/2112.13297 ( 2021 ) 2020 [公元24年] 阿菲亚·艾曼 , 沙托·罗伊 , 阿明·阿里普尔 , 阿伦·拉斯卡 :
开发商视角下的智能合约开发:社交媒体上讨论的主题和问题。 金融加密研讨会 2020 : 405-422 【c23】 马丁·贝莱斯 , 迈克尔·甄子丹 , 马修·勒 , 苏振东 , 穆罕默德·阿明·阿利普尔 :
学生对Web集成开发环境的采用和看法:经验报告。 SIGCSE公司 2020 : 1172-1178 [第14条] 苏德·阿特菲 , 安德鲁·特鲁洛夫 , 马修斯·莱因施密特 , 爱德华多·桑塔纳(Eduardo Santana de Almeida) , 伊夫特哈·艾哈迈德 , 阿明·阿里普尔 :
检查会话系统的用户评论:Alexa技能的案例研究。 CoRR公司 abs/2003.00919 ( 2020 ) [i13] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
语义保留变换下神经程序分析器的泛化性评估。 CoRR公司 腹肌/2004.07313 ( 2020 ) [i12] 拉菲克·伊斯兰·拉宾 , Nghi D.Q.Bui公司 , Yijun余 , 凌霄江 , 穆罕默德·阿明·阿利普尔 :
关于神经程序分析器在语义保留程序转换方面的泛化性。 CoRR公司 abs/2008.01566 ( 2020 ) [i11] 拉菲克·伊斯兰·拉宾 , 阿尔琼·穆克吉 , 奥姆普拉卡什·格纳瓦利 , 穆罕默德·阿明·阿利普尔 :
揭开源代码嵌入维度的神秘面纱。 CoRR公司 abs/2008.13064 ( 2020 ) [i10] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
使用错误报告配置测试生成器:GCC编译器和Csmith的案例研究。 CoRR公司 abs/2012.10662 ( 2020 )
2010 – 2019
2019 [公元22年] 安德鲁·特鲁洛夫 , 法拉·纳斯·乔杜里 , 奥姆普拉卡什·格纳瓦利 , 穆罕默德·阿明·阿利普尔 :
关注主题:在物联网应用程序和设备审查中确定用户问题。 ICSE的SERP4IoT 2019 : 33-40 [第九章] 苏德·阿特菲 , 穆罕默德·阿明·阿利普尔 :
会话代理的自动测试框架。 CoRR公司 abs/1902.06193 ( 2019 ) [i8] 安德鲁·特鲁洛夫 , 法拉·纳斯·乔杜里 , 奥姆普拉卡什·格纳瓦利 , 穆罕默德·阿明·阿利普尔 :
用户使用物联网系统的问题。 CoRR公司 abs/1902.06384 ( 2019 ) [i7] 阿米雷扎·西拉尼 , 徐伯文(Bowen Xu) , 大卫·罗 , 塔马尔·索罗里奥 , 阿明·阿里普尔 :
堆栈溢出相关问题:任务、数据集和企业启发模型。 CoRR公司 abs/1905.01966 ( 2019 ) [i6] 阿菲亚·艾曼 , 阿姆纳·阿齐兹 , 阿明·阿里普尔 , 阿伦·拉斯卡 :
实践中的智能合约开发:堆栈溢出的趋势、问题和讨论。 CoRR公司 腹肌/1905.08833 ( 2019 ) [i5] 拉菲克·伊斯兰·拉宾 , 穆罕默德·阿明·阿利普尔 :
K-CONFIG:使用失败的测试用例在GCC编译器中生成测试用例。 CoRR公司 abs/1908.10481 ( 2019 ) [i4] 拉菲克·伊斯兰·拉宾 , 王珂(Ke Wang) , 穆罕默德·阿明·阿利普尔 :
测试神经程序。 CoRR公司 abs/1908.10711 ( 2019 ) 2018 【c21】 阿米雷扎·西拉尼 , 阿德里安·洛佩斯·蒙罗伊牧师 , 法比奥·冈萨雷斯 , 塔马尔·索罗里奥 , 穆罕默德·阿明·阿利普尔 :
用文本线索评价类型推理。 AAAI研讨会 2018 : 783-786 [公元20年] 徐伯文(Bowen Xu) , 阿米雷扎·西拉尼 , 大卫·罗 , 穆罕默德·阿明·阿利普尔 :
堆栈溢出中相关性的预测:深度学习与SVM:再现性研究。 电子安全管理系统 2018 : 21:1-21:10 [第19条] 阿皮特·克里斯蒂 , 马修·莱尔·奥尔森 , 穆罕默德·阿明·阿利普尔 , 亚历克斯·格罗斯 :
本地化前减少:Delta-Debugging和基于光谱的故障定位。 ISSRE研讨会 2018 : 184-191 [第18条] 文森特·海伦多恩 , Premkumar T.Devanbu公司 , 穆罕默德·阿明·阿利普尔 :
关于证明的自然性。 ESEC/SIGSOFT FSE 2018 : 724-728 2017 【j4】 拉胡尔·戈皮纳特 , 伊夫特哈·艾哈迈德 , 穆罕默德·阿明·阿利普尔 , 卡洛斯·延森 , 亚历克斯·格罗斯 :
突变工具的选择重要吗? 柔和。 资格。 J。 25 ( 三 ) : 871-920 ( 2017 ) [j3] 拉胡尔·戈皮纳特 , 伊夫特哈·艾哈迈德 , 穆罕默德·阿明·阿利普尔 , 卡洛斯·延森 , 亚历克斯·格罗斯 :
被认为有害的突变减少策略。 IEEE传输。 Reliab公司。 66 ( 三 ) : 854-874 ( 2017 ) [第17条] 穆罕默德·阿明·阿利普尔 , 萨达夫·萨勒赫卡莱巴尔 :
关于具有三条消息的三用户MISO广播频道的安全自由度。 IWCIT公司 2017 : 1-6 2016 [注2] 亚历克斯·格罗斯 , 穆罕默德·阿明·阿利普尔 , 张超强 , 杨晨 , 约翰·雷格尔 :
减少原因:增量调试,即使没有错误。 柔和。 测试。 验证可靠性。 26 ( 1 ) : 40-68 ( 2016 ) [第16条] 拉胡尔·戈皮纳特 , 穆罕默德·阿明·阿利普尔 , 伊夫特哈·艾哈迈德 , 卡洛斯·延森 , 亚历克斯·格罗斯 :
关于减少突变策略的局限性。 ICSE公司 2016 : 511-522 [第15条] 拉胡尔·戈皮纳特 , 阿明·阿里普尔 , 伊夫特哈·艾哈迈德 , 卡洛斯·延森 , 亚历克斯·格罗斯 :
测量突变集的有效性。 ICST研讨会 2016 : 132-141 [第14条] 穆罕默德·阿明·阿利普尔 , 亚历克斯·格罗斯 , 拉胡尔·戈皮纳特 , 阿皮特·克里斯蒂 :
使用定向群测试生成聚焦随机测试。 ISSTA公司 2016 : 70-81 [第13条] 穆罕默德·阿明·阿利普尔 , 八月十 , 拉胡尔·戈皮纳特 , 达科·马里诺夫 , 亚历克斯·格罗斯 :
评估未充分减少测试用例。 ASE公司 2016 : 16-26 [第12条] 乔西·福尔摩斯 , 亚历克斯·格罗斯 , 穆罕默德·阿明·阿利普尔 :
缓解(和利用)测试减少滑移。 SIGSOFT的A-TEST FSE公司 2016 : 66-69 [i3] 穆罕默德·阿明·阿利普尔 , 亚历克斯·格罗斯 , 张超强 , 阿纳希塔·萨纳达吉 , Gokul Caushik公司 :
在大型源代码干草堆中查找模型可检查的针:通过静态分析和动态不变量发现模块化错误。 CoRR公司 abs/1609.06382 ( 2016 ) [i2] 穆罕默德·阿明·阿利普尔 , 亚历克斯·格罗斯 :
有界模型检查和特征省略多样性。 CoRR公司 abs/1610.08020 ( 2016 ) [i1] 穆罕默德·阿明·阿利普尔 , 亚历克斯·格罗斯 :
数据中毒:用于Python的轻量级软错误注入。 CoRR公司 abs/1611.01501 ( 2016 ) 2015 [j1] 米洛斯·格利戈里克 , 亚历克斯·格罗斯 , 张超强 , 罗汉·夏尔马 , 穆罕默德·阿明·阿利普尔 , 达科·马里诺夫 :
非充分测试套件基于覆盖率的比较指南。 ACM事务处理。 柔和。 工程方法。 24 ( 4 ) : 22:1-22:33 ( 2015 ) [第11条] 拉胡尔·戈皮纳特 , 阿明·阿里普尔 , 伊夫特哈·艾哈迈德 , 卡洛斯·延森 , 亚历克斯·格罗斯 :
无论如何,突变分析有多难? ISSRE公司 2015 : 216-227 2014 [第10条] 亚历克斯·格罗斯 , 穆罕默德·阿明·阿利普尔 , 张超强 , 杨晨 , 约翰·雷格尔 :
快速测试原因减少。 ICST公司 2014 : 243-252 【c9】 张超强 , 亚历克斯·格罗斯 , 穆罕默德·阿明·阿利普尔 :
使用测试用例减少和优先级来改进符号执行。 ISSTA公司 2014 : 160-170 【c8】 杜克·勒 , 穆罕默德·阿明·阿利普尔 , 拉胡尔·戈皮纳特 , 亚历克斯·格罗斯 :
MuCheck:用于haskell程序变异测试的可扩展工具。 ISSTA公司 2014 : 429-432 【c7】 亚历克斯·格罗斯 , 穆罕默德·阿明·阿利普尔 , 拉胡尔·戈皮纳特 :
覆盖范围及其不满。 向前的! 2014 : 255-268 2013 【c6】 亚历克斯·格罗斯 , 张超强 , 穆罕默德·阿明·阿利普尔 , 埃里克·艾德 , 杨晨 , 约翰·雷格尔 :
救命,救命,我被镇压了! 抑制器在软件测试中的重要性。 ISSRE公司 2013 : 390-399 【c5】 米洛斯·格利戈里克 , 亚历克斯·格罗斯 , 张超强 , 罗汉·夏尔马 , 穆罕默德·阿明·阿利普尔 , 达科·马里诺夫 :
使用覆盖标准比较不充分的测试套件。 ISSTA公司 2013 : 302-313 2012 【c4】 亚历克斯·格罗斯 , 阿兰·弗恩 , 马丁·埃尔维格 , 杰维斯·平托 , 蒂姆·保尔 , 穆罕默德·阿明·阿利普尔 :
面向程序员的基于学习的测试编程。 ISoLA(1) 2012 : 572-586 【c3】 亚历克斯·格罗斯 , 阿兰·弗恩 , 杰维斯·平托 , 蒂姆·保尔 , 穆罕默德·阿明·阿利普尔 , 马丁·埃尔维格 , 卡姆登·洛佩兹 :
基于自适应编程的轻量级自动测试。 ISSRE公司 2012 : 161-170 【c2】 穆罕默德·阿明·阿利普尔 , 亚历克斯·格罗斯 :
扩展程序不变量:在测试和故障定位中的应用。 WODA公司 2012 : 7-11
2000 – 2009
2005 【c1】 穆罕默德·阿明·阿利普尔 :
城市交通控制的反应代理。 FLAIRS公司 2005 : 808-809
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)