Matthew B. Dwyer - Publications, H-index & Citations

Back

Matthew B. Dwyer

university of virginia

50H-index

302Paper Count

1.0WCitation Count

Published Papers 20

Publication Date

T4PC: Training Deep Neural Networks for Property Conformance

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2025-10-01

PREAI

Toledo, Felipe; Woodlief, Trey; Elbaum, Sebastian; Dwyer, Matthew B.

Save

Algorithm Selection for Software Verification Using Graph Neural Networks

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2024-03-14

OAAI

Leeson, Will; Dwyer, Matthew B.

Save

Optimizing Machine Learning Inference Performance on IoT Devices: Trade-offs and Insights from Statistical Learning

artificial intelligence and machine learning for multi domain operations applications

IF0

2023-06-12

PREAI

Anderson, Cleon; Dwyer, Matthew; Chan, Kevin

Save

Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-04-26

OAAI

Dola, Swaroopa; Dwyer, Matthew B.; Soffa, Mary Lou

Save

Using Symbolic States to Infer Numerical Invariants

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-10-01

OAAI

ThanhVu Nguyen; KimHao Nguyen; Dwyer, Matthew B.

Save

Conditional Quantitative Program Analysis

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-04-01

OAAI

Gerrard, Mitchell; Borges, Mateus; Dwyer, Matthew B.; Filieri, Antonio

Save

State of the Journal

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2018-01-01

PREAI

Dwyer, Matthew

Save

Improving Timeliness and Visibility in Publishing Software Engineering Research

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2017-03-01

PREAI

Dwyer, Matthew

Save

Code search with input/output queries: Generalizing, ranking, and assessment

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2016-06-01

OAAI

Stolee, Kathryn T.; Elbaum, Sebastian; Dwyer, Matthew B.

Save

Connecting and Serving the Software Engineering Community

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2016-03-01

PREAI

Dwyer, Matthew B.

Save

Editorial: Journal-First Publication for the Software Engineering Community

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2016-01-01

OAAI

Dwyer, Matthew B.; Rosenblum, David S.

Save

Journal-First Publication for the Software Engineering Community

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2015-12-02

OAAI

Dwyer, Matthew B.; Rosenblum, David S.

Save

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2015-05-13

PREAI

Sherman, Elena; Garvin, Brady J.; Dwyer, Matthew B.

Save

Untitled

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2015-01-01

OAAI

Dwyer, Matthew B.

Save

Lattice-Based Sampling for Path Property Monitoring

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2011-12-01

PREAI

Diep, Madeline M.; Dwyer, Matthew B.; Elbaum, Sebastian

Save

Evaluating improvements to a meta-heuristic search for constrained interaction testing

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2010-07-13

174

PREAI

Garvin, Brady J.; Cohen, Myra B.; Dwyer, Matthew B.

Save

Carving and Replaying Differential Unit Test Cases from System Test Cases

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2009-01-01

OAAI

Elbaum, Sebastian; Chin, Hui Nee; Dwyer, Matthew B.; Jorde, Matthew

Save

Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2008-09-01

229

PREAI

Cohen, Myra B.; Dwyer, Matthew B.; Shi, Jiangfan

Save

Flow analysis for verifying properties of concurrent software systems

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2004-10-01

PREAI

Dwyer, MB; Clarke, LA; Cobleigh, JM; Naumovich, G

Save

A compact Petri net representation and its implications for analysis

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

1996-01-01

PREAI

Dwyer, MB; Clarke, LA

Save

Research Directions