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 32 Citations 6,570 122 World Ranking 7315 National Ranking 3456

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Software
  • Software engineering

Mats P. E. Heimdahl mainly investigates Reliability engineering, Formal specification, Software engineering, Test suite and Test case. His research on Reliability engineering also deals with topics like

  • Modified condition/decision coverage that connect with fields like Automatic test pattern generation,
  • Measure which is related to area like Source code. His Formal specification study frequently links to other fields, such as Formal methods.

His Software engineering research is multidisciplinary, relying on both Software requirements specification and Software development. His research investigates the link between Test suite and topics such as Conformance testing that cross with problems in Linear temporal logic and Computer security. His Test case study also includes

  • Test Management Approach most often made with reference to Code coverage,
  • Model checking that intertwine with fields like Software.

His most cited work include:

  • Requirements Coverage as an Adequacy Measure for Conformance Testing (607 citations)
  • Requirements specification for process-control systems (494 citations)
  • Proceedings of the 30th international conference on Software engineering (463 citations)

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

Mats P. E. Heimdahl focuses on Formal specification, Software engineering, Programming language, Software and Reliability engineering. Mats P. E. Heimdahl has included themes like Program analysis, Formal methods, Specification language, System testing and Software requirements specification in his Formal specification study. His research integrates issues of Software development, Software system, Systems engineering, Modeling language and Code generation in his study of Software engineering.

Static analysis is closely connected to Theoretical computer science in his research, which is encompassed under the umbrella topic of Programming language. His Software research integrates issues from Artifact and Computer engineering. The study incorporates disciplines such as Test suite, Test case, Test Management Approach and Code coverage in addition to Reliability engineering.

He most often published in these fields:

  • Formal specification (28.48%)
  • Software engineering (26.49%)
  • Programming language (25.83%)

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

  • Reliability engineering (23.18%)
  • Software (24.50%)
  • Theoretical computer science (12.58%)

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

His main research concerns Reliability engineering, Software, Theoretical computer science, Test case and Code. Mats P. E. Heimdahl interconnects System testing and Test Management Approach in the investigation of issues within Reliability engineering. His work deals with themes such as Control engineering and Data mining, which intersect with Software.

His work on Formal verification as part of general Theoretical computer science research is frequently linked to Completeness, bridging the gap between disciplines. Particularly relevant to Test suite is his body of work in Test case. His research investigates the connection between Code and topics such as Measure that intersect with problems in Correctness.

Between 2014 and 2021, his most popular works were:

  • The Risks of Coverage-Directed Test Case Generation (59 citations)
  • The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage (21 citations)
  • Architectural modeling and analysis for safety engineering (12 citations)

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

  • Programming language
  • Software
  • Software engineering

Mats P. E. Heimdahl mainly focuses on Reliability engineering, Structure, Argument, Software and Data mining. His work carried out in the field of Reliability engineering brings together such families of science as Process, Contrast, Requirements traceability, Tracing and Semantics. Argument is integrated with Software system, Representation, Beta distribution, Reliability and Visualization in his study.

His research in Software tackles topics such as Data set which are related to areas like Test case. In general Test case, his work in Modified condition/decision coverage is often linked to Classification Tree Method linking many areas of study. His Data mining study frequently draws connections between adjacent fields such as Set.

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

Requirements specification for process-control systems

N.G. Leveson;M.P.E. Heimdahl;H. Hildreth;J.D. Reese.
IEEE Transactions on Software Engineering (1994)

801 Citations

Proceedings of the 30th international conference on Software engineering

Ajitha Rajan;Michael W. Whalen;Mats P.E. Heimdahl.
ACM (2008)

722 Citations

Requirements Coverage as an Adequacy Measure for Conformance Testing

Ajitha Rajan;Michael Whalen;Matt Staats;Mats P. Heimdahl.
formal methods (2008)

613 Citations

Completeness and consistency in hierarchical state-based requirements

M.P.E. Heimdahl;N.G. Leveson.
international conference on software engineering (1996)

445 Citations

Software requirements analysis for real-time process-control systems

M.S. Jaffe;N.G. Leveson;M.P.E. Heimdahl;B.E. Melhart.
IEEE Transactions on Software Engineering (1991)

313 Citations

Coverage based test-case generation using model checkers

S. Rayadurgam;M.P.E. Heimdahl.
engineering of computer based systems (2001)

260 Citations

Model-based safety analysis of simulink models using SCADE design verifier

Anjali Joshi;Mats P. E. Heimdahl.
international conference on computer safety, reliability, and security (2005)

184 Citations

Test-suite reduction for model based tests: effects on test quality and implications for testing

M.P.E. Heimdahl;D. George.
automated software engineering (2004)

159 Citations

Coverage metrics for requirements-based testing

Michael W. Whalen;Ajitha Rajan;Mats P.E. Heimdahl;Steven P. Miller.
international symposium on software testing and analysis (2006)

151 Citations

Auto-generating Test Sequences Using Model Checkers: A Case Study

Mats P. E. Heimdahl;Sanjai Rayadurgam;Willem Visser;George Devaraj.
International Workshop on Formal Approaches to Software Testing (2003)

123 Citations

Best Scientists Citing Mats P. E. Heimdahl

Gordon Fraser

Gordon Fraser

University of Passau

Publications: 35

Constance Heitmeyer

Constance Heitmeyer

United States Naval Research Laboratory

Publications: 29

Nancy G. Leveson

Nancy G. Leveson

MIT

Publications: 29

Mark Harman

Mark Harman

University College London

Publications: 24

Jin Song Dong

Jin Song Dong

National University of Singapore

Publications: 22

Jun Sun

Jun Sun

Singapore Management University

Publications: 22

Franz Wotawa

Franz Wotawa

Graz University of Technology

Publications: 20

Jane Cleland-Huang

Jane Cleland-Huang

University of Notre Dame

Publications: 19

Yang Liu

Yang Liu

Nanyang Technological University

Publications: 17

Lionel C. Briand

Lionel C. Briand

University of Ottawa

Publications: 16

Marsha Chechik

Marsha Chechik

University of Toronto

Publications: 16

Tom Maibaum

Tom Maibaum

McMaster University

Publications: 15

Michael Leuschel

Michael Leuschel

Heinrich Heine University Düsseldorf

Publications: 15

Michael Butler

Michael Butler

University of Southampton

Publications: 14

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 13

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us
Something went wrong. Please try again later.