Matthew B. Dwyer - Concepedia

Author

Matthew B. Dwyer

Also Known As

Dwyer, Matthew, Dwyer, Matthew B, Dwyer, Matthew B., John Hatcliff, M. Dwyer, M.B. Dwyer, Mathew B. Dwyer, Matthew B Dwyer, Matthew B. Dwyer, Matthew Dwyer

298

Publications

10K

Citations

H-Index

120

Concepts

All Affiliations

University of Nebraska–Lincoln Kansas State University University of Massachusetts Amherst Ames Research Center University of Hawaii System

About

Matthew B. Dwyer is an author at University of Nebraska–Lincoln specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	41	75	7.5K
2	Computer Engineering	25	36	3.3K
3	Social Sciences	3	3	160
4	Education	1	1	20
5	Management	1	1	25

Matthew B. Dwyer

Publications

8.4K

Citations

H-Index

Page 1

	Year	Citations
Patterns in property specifications for finite-state verification Matthew B. Dwyer, George S. Avrunin, James C. Corbett EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	1999	1.4K
Bandera James C. Corbett, Matthew B. Dwyer, John Hatcliff, Finite-state Verification TechniquesEngineeringProgram CheckingProgram AnalysisVerification Algorithms	2000	1.1K
Property specification patterns for finite-state verification Matthew B. Dwyer, George S. Avrunin, James C. Corbett	1998	449
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 EngineeringVerificationTest Data GenerationSoftware EngineeringGreedy Approach	2008	313
Differential symbolic execution Suzette Person, Matthew B. Dwyer, Sebastian Elbaum, Software MaintenanceEngineeringChange Impact AnalysisVerificationSoftware Engineering	2008	264
Evaluating improvements to a meta-heuristic search for constrained interaction testing Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer Empirical Software Engineering Constrained InteractionEngineeringComputational TestingProgram AnalysisTesting Technique	2010	250
Interaction testing of highly-configurable systems in the presence of constraints Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi EngineeringInteraction TestingVerificationRobustness TestingSoftware Engineering	2007	239
Bogor Robby, Matthew B. Dwyer, John Hatcliff Software MaintenanceEngineeringVerificationSoftware EngineeringModel Checking	2003	207
Proceedings of the 30th international conference on Software engineering Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn EngineeringSoftware SystemsSoftware EngineeringSoftware AnalysisSoftware Architecture	2008	193
Data flow analysis for verifying properties of concurrent programs Matthew B. Dwyer, Lori A. Clarke Program CheckingEngineeringVerificationSoftware EngineeringConcurrent System	1994	188

Page 1