Matthew B. Dwyer

Identifiers

• name variant Matthew B. Dwyer 0.60 · backfill

Papers (2)

1. Latent Anchor-Driven Test Generation for Deep Neural Networks cs.LG · 2026 · author #2
2. SymInfer: Inferring Program Invariants using Symbolic States cs.SE · 2019 · author #2

Mentions

• 2606.04310 #2 · arxiv_oai · confidence 0.70 Matthew B. Dwyer

Frequent Coauthors

• Bin Duan 1 shared papers
• Guowei Yang 1 shared papers
• ThanhVu Nguyen 1 shared papers
• Willem Visser 1 shared papers