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.
