D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 50 Citations 11,515 149 World Ranking 2952 National Ranking 1559

Research.com Recognitions

Awards & Achievements

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

2007 - ACM Distinguished Member

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

Matthew B. Dwyer focuses on Programming language, Model checking, Software system, Theoretical computer science and Correctness. Program analysis, Java, Source code, Program slicing and Software are the core of his Programming language study. His Java study combines topics from a wide range of disciplines, such as Formal verification and Software engineering, Formal specification.

His research on Model checking also deals with topics like

  • Finite-state machine that intertwine with fields like Executable,
  • Temporal logic which connect with Deadlock. His Software system study incorporates themes from Distributed computing and Implementation. His Correctness research is multidisciplinary, incorporating elements of Data flow diagram, Data-flow analysis and Static analysis, Shape analysis.

His most cited work include:

  • Patterns in property specifications for finite-state verification (1175 citations)
  • Bandera: extracting finite-state models from Java source code (1025 citations)
  • Property specification patterns for finite-state verification (384 citations)

What are the main themes of his work throughout his whole career to date?

Programming language, Model checking, Software, Software engineering and Software system are his primary areas of study. His Model checking study deals with Source code intersecting with Program slicing. The study incorporates disciplines such as Reliability engineering and Data-flow analysis in addition to Software.

In general Software engineering study, his work on Formal methods and Component often relates to the realm of Context, thereby connecting several areas of interest. His Software system study integrates concerns from other disciplines, such as Distributed computing and Implementation. In Java, Matthew B. Dwyer works on issues like Formal specification, which are connected to Formal verification.

He most often published in these fields:

  • Programming language (36.10%)
  • Model checking (30.73%)
  • Software (23.90%)

What were the highlights of his more recent work (between 2015-2021)?

  • Artificial intelligence (6.83%)
  • Software engineering (22.44%)
  • Symbolic execution (10.73%)

In recent papers he was focusing on the following fields of study:

His primary areas of investigation include Artificial intelligence, Software engineering, Symbolic execution, Machine learning and Artificial neural network. His research in Software engineering intersects with topics in Requirements engineering, Engineering ethics and Current. Matthew B. Dwyer has researched Symbolic execution in several fields, including Model checking, Theoretical computer science and Program analysis.

His Machine learning research includes elements of User experience design and Software, Fuzz testing, Code coverage. In the subject of general Software, his work in Software bug is often linked to Sample, thereby combining diverse domains of study. Natural language requirements is the focus of his Programming language research.

Between 2015 and 2021, his most popular works were:

  • Code search with input/output queries (25 citations)
  • On the techniques we create, the tools we build, and their misalignments: a study of KLEE (11 citations)
  • SymInfer: inferring program invariants using symbolic states (10 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

His primary areas of study are Artificial intelligence, Symbolic execution, Function, Machine learning and Theoretical computer science. His Artificial intelligence research incorporates elements of Software engineering and State. His Symbolic execution research is classified as research in Programming language.

He has included themes like Finite-state machine, Variety and Control theory in his Function study. When carried out as part of a general Machine learning research project, his work on Recommender system is frequently linked to work in Transformation, Set and MovieLens, therefore connecting diverse disciplines of study. His studies in Theoretical computer science integrate themes in fields like Inference and Local variable.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Patterns in property specifications for finite-state verification

Matthew B. Dwyer;George S. Avrunin;James C. Corbett.
international conference on software engineering (1999)

1881 Citations

Bandera: extracting finite-state models from Java source code

James C. Corbett;Matthew B. Dwyer;John Hatcliff;Shawn Laubach.
international conference on software engineering (2000)

1545 Citations

Property specification patterns for finite-state verification

Matthew B. Dwyer;George S. Avrunin;James C. Corbett.
formal methods in software practice (1998)

660 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.
IEEE Transactions on Software Engineering (2008)

350 Citations

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

Robby;Matthew B. Dwyer;John Hatcliff.
foundations of software engineering (2003)

343 Citations

Differential symbolic execution

Suzette Person;Matthew B. Dwyer;Sebastian Elbaum;Corina S. Pǎsǎreanu.
foundations of software engineering (2008)

304 Citations

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

Myra B. Cohen;Matthew B. Dwyer;Jiangfan Shi.
international symposium on software testing and analysis (2007)

293 Citations

Slicing Software for Model Construction

John Hatcliff;Matthew B. Dwyer;Hongjun Zheng.
Higher-Order and Symbolic Computation archive (2000)

278 Citations

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

John Hatcliff;Xinghua Deng;Matthew B. Dwyer;Georg Jung.
international conference on software engineering (2003)

263 Citations

Data flow analysis for verifying properties of concurrent programs

Matthew B. Dwyer;Lori A. Clarke.
foundations of software engineering (1994)

243 Citations

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

Contact us

Best Scientists Citing Matthew B. Dwyer

Lori A. Clarke

Lori A. Clarke

University of Massachusetts Amherst

Publications: 52

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 52

Leon J. Osterweil

Leon J. Osterweil

University of Massachusetts Amherst

Publications: 45

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 44

Willem Visser

Willem Visser

Stellenbosch University

Publications: 40

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 37

Marsha Chechik

Marsha Chechik

University of Toronto

Publications: 34

Mark Harman

Mark Harman

University College London

Publications: 34

Cormac Flanagan

Cormac Flanagan

University of California, Santa Cruz

Publications: 34

Myra B. Cohen

Myra B. Cohen

Iowa State University

Publications: 32

Carlo Ghezzi

Carlo Ghezzi

Politecnico di Milano

Publications: 30

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 29

Sriram K. Rajamani

Sriram K. Rajamani

Microsoft (United States)

Publications: 28

Aniruddha Gokhale

Aniruddha Gokhale

Vanderbilt University

Publications: 26

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 26

Tao Xie

Tao Xie

Peking University

Publications: 26

Trending Scientists

Yi Pan

Yi Pan

Shenzhen Institutes of Advanced Technology

Xiaodan Zhu

Xiaodan Zhu

Queen's University

Francesco Grilli

Francesco Grilli

Karlsruhe Institute of Technology

Harvey W. Yarranton

Harvey W. Yarranton

University of Calgary

Robert D. Possee

Robert D. Possee

Oxford Brookes University

Annie Andrieux

Annie Andrieux

Grenoble Alpes University

Tomoo Shimada

Tomoo Shimada

Kyoto University

Colin M. Dundas

Colin M. Dundas

United States Geological Survey

Lawrence P. Morin

Lawrence P. Morin

Stony Brook University

Michel Lacour

Michel Lacour

Aix-Marseille University

Maria Luisa Gorno-Tempini

Maria Luisa Gorno-Tempini

University of California, San Francisco

Richard T. Wyatt

Richard T. Wyatt

Scripps Research Institute

Leaf Van Boven

Leaf Van Boven

University of Colorado Boulder

Ami Klin

Ami Klin

Emory University

David T.W. Wong

David T.W. Wong

University of California, Los Angeles

Robert Marcus

Robert Marcus

Stanford University

Something went wrong. Please try again later.