Dwyer, Matthew
- TOGLL: Correct and Strong Test Oracle Generation with LLMs
2024/05/06 by Hossain, Soneya Binta, Dwyer, Matthew · 11 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- A DPLL(T) Framework for Verifying Deep Neural Networks
2023/07/17 by Hai Duong, ThanhVu Nguyen, Duong, Hai +3 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning
- Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation
2024/12/12 by Hossain, Soneya Binta, Taylor, Raygan, Dwyer, Matthew · 6 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)