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
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
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.
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.
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.
Requirements specification for process-control systems
N.G. Leveson;M.P.E. Heimdahl;H. Hildreth;J.D. Reese.
IEEE Transactions on Software Engineering (1994)
Proceedings of the 30th international conference on Software engineering
Ajitha Rajan;Michael W. Whalen;Mats P.E. Heimdahl.
Requirements Coverage as an Adequacy Measure for Conformance Testing
Ajitha Rajan;Michael Whalen;Matt Staats;Mats P. Heimdahl.
formal methods (2008)
Completeness and consistency in hierarchical state-based requirements
M.P.E. Heimdahl;N.G. Leveson.
international conference on software engineering (1996)
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)
Coverage based test-case generation using model checkers
S. Rayadurgam;M.P.E. Heimdahl.
engineering of computer based systems (2001)
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)
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)
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)
Auto-generating Test Sequences Using Model Checkers: A Case Study
Mats Per Erik Heimdahl;Sanjai Rayadurgam;Willem Visser;George Devaraj.
International Workshop on Formal Approaches to Software Testing (2003)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: