基本信息
浏览量:194
职业迁徙
个人简介
His research is mostly focussed around finding bugs in software. More specifically he works on testing, program analysis, symbolic execution, probabilistic symbolic execution and model checking. He is probably most well known for his work on Java PathFinder (JPF) and Symbolic PathFinder (SPF).
研究兴趣
论文共 189 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Journal of the Colleges of Medicine of South Africano. 1 (2024): e1-e5
Anthony Moussa,Michaela Bennett,Dmitri Wall,Nekma Meah,Katherine York,Laita Bokhari,Leila Asfour,Huw Rees,Leonardo Spagnol Abraham,Daniel Asz-Sigall,Fitnat Buket Basmanav,Wilma Bergfeld,Regina C. Betz,Bevin Bhoyrul,Ulrike Blume-Peytavi,Valerie Callender,Vijaya Chitreddy,Andrea Combalia,George Cotsarelis,Brittany Craiglow,Rachita Dhurat,Jeff Donovan,Andrei Doroshkevich,Samantha Eisman,Paul Farrant,Juan Ferrando,Aida Gadzhigoroeva, Jack Green,Ramon Grimalt,Matthew Harries,Maria Hordinsky,Alan Irvine,Victoria Jolliffe, Spartak Kaiumov,Brett King, Joyce Lee,Won-Soo Lee,Jane Li,Nino Lortkipanidze,Amy McMichael,Natasha Atanaskova Mesinkovska,Andrew Messenger,Paradi Mirmirani,Elise Olsen,Seth J. Orlow,Yuliya Ovcharenko,Bianca Maria Piraccini,Rodrigo Pirmez,Adriana Rakowska,Pascal Reygagne,Lidia Rudnicka,David Saceda Corralo,Maryanne Senna,Jerry Shapiro,Pooja Sharma, Tatiana Siliuk,Michela Starace,Poonkiat Suchonwanit,Anita Takwale,Antonella Tosti,Sergio Vano-Galvan,Willem I. Visser,Annika Vogt,Martin Wade,Leona Yip,Cheng Zhou,Rodney Sinclair
Anthony Moussa,Michaela Bennett,Dmitri Wall,Nekma Meah,Katherine York,Laita Bokhari,Leila Asfour,Huw Rees,Leonardo Spagnol Abraham,Daniel Asz‐Sigall,F. Buket Basmanav,Wilma F. Bergfeld,Regina C. Betz,Bevin Bhoyrul,Ulrike Blume‐Peytavi,Valerie D. Callender,Vijaya Chitreddy,Andrea Combalía,George Cotsarelis,Brittany G. Craiglow,Rachita Dhurat,Jeff Donovan, А. G. Doroshkevich,Samantha Eisman,Paul Farrant,Juan Ferrando,Aida Gadzhigoroeva, Jack Green,Ramón Grimalt,Matthew Harries,Maria Hordinsky,Alan D. Irvine,Victoria Jolliffe, Spartak Kaiumov,Brett King, Joyce Lee,Won‐Soo Lee,Jane Li,Nino Lortkipanidze,Amy J. McMichael,Natasha Atanaskova Mesinkovska,A.G. Messenger,Paradi Mirmirani,Elise A. Olsen,Seth J. Orlow,Yuliya Ovcharenko,Bianca Maria Piraccini,Rodrigo Pirmez,Adriana Rakowska, P. Reygagne,Lidia Rudnicka,David Saceda Corralo,Maryanne M. Senna,Jerry Shapiro,Pooja Sharma, Tatiana Siliuk,Michela Starace,Poonkiat Suchonwanit,A. Takwale,Antonella Tosti,Sergio Vañó‐Galván,Willem I. Visser,Annika Vogt,Martin Wade,Leona Yip,Cheng Zhou,Rodney Sinclair
JAMA dermatologyno. 3 (2024): 341-341
IEEE transactions on software engineeringpp.1-21, (2023)
Bianca Tod, Dagmar Whitaker,Willem I. Visser,Thuraya Isaacs, Tarryn Jacobs, Kim Wiid,Ncoza C. Dlova,Caradee Y. Wright
International Journal of Dermatology (2023)
Ben Liblit,Linghui Luo,Alejandro Molina,Rajdeep Mukherjee, Zachary Patterson,Goran Piskachev,Martin Schaf,Omer Tripp,Willem Visser
加载更多
作者统计
#Papers: 192
#Citation: 9469
H-Index: 41
G-Index: 95
Sociability: 6
Diversity: 2
Activity: 18
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn