Matthew B. Dwyer

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 59

Top Topics

Markov Decision Process

Exact And Approximate

Symbolic Execution

Software Engineering

Top Venues

IEEE Trans. Software Eng.

Publications