vix.ing · top · new · best · stats · spec

Dwyer, Matthew

  1. 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)
  2. 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
  3. 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)