Concepedia

Matthew B. Dwyer

MB

Statistics

Publications

98

Citations

8.5K

H-Index

43

Active since

1994

Affiliations

University of Nebraska–Lincoln(Current)

Kansas State University

University of Massachusetts Amherst

University of Virginia

Ames Research Center

Matthew B. Dwyer is an author at University of Nebraska–Lincoln specializing in computer science, computing, and formal methods.

Publications per year

1994–2025

98

Publications

98

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

Computing, Computer Science, Mathematics +13

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Computing, Computer Science, Formal Methods +15

Property specification patterns for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1998 · 453 citations · Full text

Computing, Computer Science, Mathematics +12

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

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi · IEEE Transactions on Software Engineering · 2008 · 315 citations

Computing, Computer Engineering, Computer Science +14

Differential symbolic execution

Suzette Person, Matthew B. Dwyer, Sebastian Elbaum et al. · 2008 · 269 citations

Computing, Computer Science, Software Engineering +13

1–5 of 98