关注
Will Leeson
Will Leeson
St. Olaf College
在 stolaf.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Natural language processing (NLP) in qualitative public health research: a proof of concept study
W Leeson, A Resnick, D Alexander, J Rovers
International Journal of Qualitative Methods 18, 1609406919887021, 2019
852019
Graves-CPA: A graph-attention verifier selector (competition contribution)
W Leeson, MB Dwyer
International Conference on Tools and Algorithms for the Construction and …, 2022
142022
Sibyl: improving software engineering tools with SMT selection
W Leeson, MB Dwyer, A Filieri
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
42023
Algorithm Selection for Software Verification Using Graph Neural Networks
W Leeson, MB Dwyer
ACM Transactions on Software Engineering and Methodology 33 (3), 1-36, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–4