西曼塔·萨哈
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [j5] 西曼塔·萨哈 , 苏伦德拉·根蒂亚拉 , 石华路 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
通过近似模型计数获得信息泄漏边界。 程序。 ACM计划。 语言。 7 ( PLDI公司 ) : 1488-1509 ( 2023 ) 【c7】 西曼塔·萨哈 , 拉博尼·萨克 , Shafiuzzaman先生 , 超凡寿 , 阿尔伯特·李 , Ganesh Sankaran公司 , 特夫菲克·布尔坦 :
罕见的路径引导模糊。 ISSTA公司 2023 : 1295-1306 2022 【c6】 西曼塔·萨哈 , 玛拉·唐宁 , 特根·布伦南 , 特夫菲克·布尔坦 :
PREACH:概率可达性的启发式方法,用于识别难以到达的语句。 ICSE公司 2022 : 1706-1717 [i4] 西曼塔·萨哈 , 拉博尼·萨克 , Shafiuzzaman先生 , 超凡寿 , 阿尔伯特·李 , Ganesh Sankaran公司 , 特夫菲克·布尔坦 :
用于起毛的Rare-Seed Generation。 CoRR公司 abs/2212.09004 ( 2022 ) 2020 【j4】 西里尔·阿瑟 , Quoc-Sang Phan公司 , 彼得·奥尔德斯 , 阿利亚斯·阿尔马维 , 卢卡斯·邦 , 拉塞·贝格隆德 , 特夫菲克·布尔坦 , 陈振邦 , 海耶斯·匡威 , 魏东 , 威廉·艾尔斯 , 米洛斯·格里戈里奇 , 西蒙·戈德史密斯 , 拉尔斯·格伦斯克 , 约书亚·胡克 , Ismet Burak Kadron公司 , 蒂莫·凯勒 , 萨尔夫拉兹·库希德 , 宣白丁乐 , 大卫·罗 , 埃里克·默瑟 , 萨萨·米塞洛维奇 , 埃戈尔·纳马可诺夫 , 黄林阮 , 亚尼克·诺勒 , 本杰明·奥格尔斯 , 罗汉·帕迪 , 帕维尔·帕里泽克 , 科琳娜·帕萨雷努 , 谢里丹·雅各布·鲍威尔 , 西曼塔·萨哈 , 库什克森 , 埃琳娜·谢尔曼 , 凯尔·斯托里 , 闵行堂 , 威廉·维瑟 , Ji Wang(音译) , 余恒彪 :
2019年Java探路者研讨会。 ACM SIGSOFT软件。 工程注释 45 ( 2 ) : 20-22 ( 2020 ) 【c5】 特根·布伦南 , 西曼塔·萨哈 , 特夫菲克·布尔坦 :
用于JIT诱导的旁道检测的JVM模糊。 ICSE公司 2020 : 1011-1023
2010 – 2019
2019 [j3] 西曼塔·萨哈 , 威廉·艾尔斯 , Ismet Burak Kadron公司 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
增量攻击合成。 ACM SIGSOFT软件。 工程注释 44 ( 4 ) : 16 ( 2019 ) 【c4】 西曼塔·萨哈 , 里蓬·K·萨哈 , 穆库尔·普拉萨德 :
利用进化进行多块程序修复。 ICSE公司 2019 : 13-24 【c3】 威廉·艾尔斯 , 西曼塔·萨哈 , 特根·布伦南 , 特夫菲克·布尔坦 :
用于模型计数和定量程序分析的子公式缓存。 酶 2019 : 453-464 [i3] 西曼塔·萨哈 , 威廉·艾尔斯 , Ismet Burak Kadron公司 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
增量自适应攻击合成。 CoRR公司 abs/1905.05322 ( 2019 ) [i2] 西曼塔·萨哈 , 里蓬·K·萨哈 , 穆库尔·普拉萨德 :
利用进化进行多Hunk程序修复。 CoRR公司 abs/1906.08903 ( 2019 ) [i1] 西曼塔·萨哈 , Ismet Burak Kadron公司 , 威廉·艾尔斯 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
使用元神经系统的字符串攻击合成。 CoRR公司 abs/1907.11710 ( 2019 ) 2018 [注2] 西曼塔·萨哈 , Ismet Burak Kadron公司 , 威廉·艾尔斯 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
使用元神经系统的字符串攻击合成。 ACM SIGSOFT软件。 工程注释 43 ( 4 ) : 56 ( 2018 ) 【c2】 特根·布伦南 , 西曼塔·萨哈 , 特夫菲克·布尔坦 :
用于旁道检测的符号路径代价分析。 ICSE(配套卷) 2018 : 424-425 【c1】 特根·布伦南 , 西曼塔·萨哈 , 特夫菲克·布尔坦 , 科琳娜·帕萨雷努 :
用于旁道检测的符号路径代价分析。 ISSTA公司 2018 : 27-37 2014 [j1] 西曼塔·萨哈 , 穆罕默德·谢赫·萨迪 :
综合容错安全关键系统。 J.计算。 9 ( 8 ) : 1809-1816 ( 2014 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)