logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Alastair F. Donaldson

imperial college london

33H指数
209论文数
3.1K被引数
收录论文 10
发表时间
logo
Finding and Understanding Bugs in FPGA Place-and-Route Engines在FPGA布局布线引擎中发现和理解错误
errPROCEEDINGS OF THE 2026 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD PROGRAMMABLE GATE ARRAYS, FPGA 2026
IF0
err2026-01-01
err0
PREAI
errCosgrove, Ollie; Donaldson, Alastair F.; Wickerson, John
err分享
err收藏
When You Have a Fuzzer, Everything Looks LikeaReachabilityProblem当您拥有模糊测试器时，所有问题看起来都像可达性问题
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errDonaldson, Alastair F.; Cadar, Cristian; Carrasco, Manuel; Iorga, Dan; Liew, Daniel; Wickerson, John
err分享
err收藏
Editorial: New Year, New Paper Tracks编者按：新年，新的论文轨迹
errACM Transactions on Programming Languages and Systems
IF1.6
err2025-12-01
err0
PREAI
errDonaldson, Alastair F.
err分享
err收藏
The “Question Neighbourhood” Approach for Systematic Evaluation of Code-Generating LLMs“问题邻域”方法：对代码生成大型语言模型系统化评估的研究
errIEEE Transactions on Software Engineering
IF5.6
err2025-09-22
err0
PREAI
errShahin Honarvar; Marek Rei; Alastair Donaldson
err分享
err收藏
Grammar Mutation for Testing Input Parsers-RCR Report《语法变异用于测试输入解析器—RCR报告》
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2025-01-21
err0
PREAI
errBendrissou, B; Cadar, C; Donaldson, AF
err分享
err收藏
Grammar Mutation for Testing Input Parsers测试输入解析器的语法变异
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-12-20
err0
PREAI
errBendrissou, Bachir; Cadar, Cristian; Donaldson, Alastair f.
err分享
err收藏
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-12-01
err1
errOAAI
errIorga, Dan; Wickerson, John; Donaldson, Alastair F.
err分享
err收藏
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2022-07-08
err10
errOAAI
errEven-Mendoza, Karine; Cadar, Cristian; Donaldson, Alastair F.
err分享
err收藏
Implementing and Evaluating Candidate-Based Invariant Generation实现和评估基于候选项的不变量生成
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2018-07-01
err2
errOAAI
errBetts, Adam; Chong, Nathan; Deligiannis, Pantazis; Donaldson, Alastair F.; Ketema, Jeroen
err分享
err收藏
Symmetry in temporal logic model checking
errACM COMPUTING SURVEYS
IF28
err2006-09-30
err62
PREAI
errMiller, Alice; Donaldson, Alastair; Calder, Muffy
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Cristian Cadar
H 指数: 34 · 论文数: 108
A
Alice Miller
H 指数: 24 · 论文数: 188
M
Muffy Calder
H 指数: 24 · 论文数: 107
J
John Wickerson
H 指数: 18 · 论文数: 103
N
Nathan Chong
H 指数: 14 · 论文数: 30
查看更多