Follow
Will Leeson
Title
Cited by
Cited by
Year
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
672019
Graves-CPA: A graph-attention verifier selector (competition contribution)
W Leeson, MB Dwyer
International Conference on Tools and Algorithms for the Construction and …, 2022
102022
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
3*2024
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
22023
The system can't perform the operation now. Try again later.
Articles 1–4