2026 Matthew B. Dwyer: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	53	4767	4633	2217	2139	217	12976

Research.com Recognitions

2019 - ACM Fellow For contributions to the specification and analysis of software
2007 - ACM Distinguished Member

Overview

Matthew B. Dwyer is affiliated with the University of Virginia in the United States and has a research focus primarily in computer science with an emphasis on artificial intelligence, software, and computer networks and communications. Their scholarly output spans multiple subfields including information systems and computational theory and mathematics.

The main topics addressed in their research include:

Adversarial Robustness in Machine Learning
Software Testing and Debugging Techniques
Software Engineering Research
Formal Methods in Verification
Software System Performance and Reliability
Explainable Artificial Intelligence (XAI)
Cell Image Analysis Techniques

Dwyer's frequent co-authors include Sebastian Elbaum, Felipe Toledo, Will Leeson, ThanhVu Nguyen, and David Shriver, reflecting extensive collaboration within the software engineering and artificial intelligence research communities.

Publication venues where Dwyer has contributed multiple works include:

arXiv (Cornell University)
IEEE Transactions on Software Engineering
Zenodo (CERN European Organization for Nuclear Research)
Proceedings of the ACM on software engineering.
ACM Transactions on Software Engineering and Methodology

Recent papers authored or co-authored by Dwyer cover a range of topics in neural network testing, deep neural network verification, and machine learning in constrained environments:

"Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing" (2022), published in ACM Transactions on Software Engineering and Methodology
"Harnessing Neuron Stability to Improve DNN Verification" (2024), published in Proceedings of the ACM on software engineering.
"Enabling Machine Learning on Resource-constrained Tactical Networks" (2022), presented at MILCOM 2022 - 2022 IEEE Military Communications Conference
"A DPLL(T) Framework for Verifying Deep Neural Networks" (2023), published on arXiv (Cornell University)
"TOGLL: Correct and Strong Test Oracle Generation with LLMs" (2024), published on arXiv (Cornell University)

Dwyer has received recognition from the ACM with two awards: ACM Fellow in 2019 for contributions to software specification and analysis, and ACM Distinguished Member in 2007.

Best Publications

Patterns in property specifications for finite-state verification

Matthew B. Dwyer;George S. Avrunin;James C. Corbett

2082
Citations
Bandera: extracting finite-state models from Java source code

James C. Corbett;Matthew B. Dwyer;John Hatcliff;Shawn Laubach

1575
Citations
Property specification patterns for finite-state verification

Matthew B. Dwyer;George S. Avrunin;James C. Corbett

696
Citations
Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach

M.B. Cohen;M.B. Dwyer;Jiangfan Shi

403
Citations
Bogor: an extensible and highly-modular software model checking framework

Robby;Matthew B. Dwyer;John Hatcliff

353
Citations
Differential symbolic execution

Suzette Person;Matthew B. Dwyer;Sebastian Elbaum;Corina S. Pǎsǎreanu

351
Citations
Interaction testing of highly-configurable systems in the presence of constraints

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

322
Citations
Slicing Software for Model Construction

John Hatcliff;Matthew B. Dwyer;Hongjun Zheng

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

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

282
Citations
Cadena: an integrated development, analysis, and verification environment for component-based systems

John Hatcliff;Xinghua Deng;Matthew B. Dwyer;Georg Jung

268
Citations
Data flow analysis for verifying properties of concurrent programs

Matthew B. Dwyer;Lori A. Clarke

253
Citations
Tool-supported program abstraction for finite-state verification

Matthew B. Dwyer;John Hatcliff;Roby Joehanes;Shawn Laubach

201
Citations
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software

John Hatcliff;Matthew B. Dwyer

189
Citations
Green: reducing, reusing and recycling constraints in program analysis

Willem Visser;Jaco Geldenhuys;Matthew B. Dwyer

184
Citations
Coverage and adequacy in software product line testing

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

173
Citations
Probabilistic symbolic execution

Jaco Geldenhuys;Matthew B. Dwyer;Willem Visser

166
Citations
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives

John Hatcliff;James C. Corbett;Matthew B. Dwyer;Stefan Sokolowski

164
Citations
Assume-Guarantee Model Checking of Software: A Comparative Case Study

Corina S. Pasareanu;Matthew B. Dwyer;Michael Huth

139
Citations
Automated environment generation for software model checking

Oksana Tkachuk;Matthew B. Dwyer;Corina S. Pasareanu

136
Citations
A new foundation for control dependence and slicing for modern program structures

Venkatesh Prasad Ranganath;Torben Amtoft;Anindya Banerjee;John Hatcliff

121
Citations
Slicing Software for Model Construction.

Matthew B. Dwyer;John Hatcliff

74
Citations
Proceedings of the 30th international conference on Software engineering

Wilhelm Schäfer;Matthew B. Dwyer;Volker Gruhn

34
Citations

Frequent Co-Authors

John Hatcliff Kansas State University

Sebastian Elbaum University of Virginia

Corina S. Pasareanu Carnegie Mellon University

Willem Visser Amazon (United States)

Myra B. Cohen Iowa State University

Lori A. Clarke University of Massachusetts Amherst

Gregg Rothermel North Carolina State University

Gary T. Leavens University of Central Florida

Mary Lou Soffa University of Virginia

David S. Rosenblum George Mason University

External Links

Personal website of Matthew B. Dwyer Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring a career in computer science opens doors to a variety of related online degrees and specialized pathways. Many students consider expanding their skill sets with programs in areas like data science and electrical engineering, which complement core computer science knowledge.

For those interested in analytics or big data, data science degrees offer an affordable and flexible way to gain relevant expertise. Those drawn to the intersection of computing and hardware might explore programs from the online electrical engineering degree ranking to find highly respected options delivered remotely.

Quick advancement is possible through certificate programs that pay well, which can boost career opportunities without the time commitment of a full degree. For those aiming to fast-track their education, consider the shortest master degree programs that allow you to complete advanced studies in less time.

These diverse online options cater to different career goals and life situations, making it easier for students and professionals to upskill and increase their earning potential in today’s tech-driven market.