Follow
Mats Heimdahl
Mats Heimdahl
Professor and Department Head, Computer Science and Engineering, University of Minnesota
Verified email at umn.edu
Title
Cited by
Cited by
Year
Requirements specification for process-control systems
NG Leveson, MPE Heimdahl, H Hildreth, JD Reese
IEEE transactions on software engineering 20 (9), 684-707, 1994
8151994
Completeness and consistency in hierarchical state-based requirements
MPE Heimdahl, NG Leveson
IEEE transactions on Software Engineering 22 (6), 363-377, 1996
4421996
Software requirements analysis for real-time process-control systems
MS Jaffe, NG Leveson, M Heimdahl, B Melhart
3091990
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
2672001
Model-based safety analysis of simulink models using SCADE design verifier
A Joshi, MPE Heimdahl
International conference on computer safety, reliability, and security, 122-135, 2005
1902005
Coverage metrics for requirements-based testing
MW Whalen, A Rajan, MPE Heimdahl, SP Miller
Proceedings of the 2006 international symposium on Software testing and …, 2006
1712006
Test-suite reduction for model based tests: Effects on test quality and implications for testing
MPE Heimdahl, D George
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
1582004
A proposal for model-based safety analysis
A Joshi, SP Miller, M Whalen, MPE Heimdahl
24th Digital Avionics Systems Conference 2, 13 pp. Vol. 2, 2005
1242005
Programs, tests, and oracles: the foundations of testing revisited
M Staats, MW Whalen, MPE Heimdahl
2011 33rd international conference on software engineering (ICSE), 391-400, 2011
1232011
Auto-generating test sequences using model checkers: A case study
MPE Heimdahl, S Rayadurgam, W Visser, G Devaraj, J Gao
International Workshop on Formal Approaches to Software Testing, 42-59, 2003
1222003
Specification-based prototyping for embedded systems’
JM Thompson, MPE Heimdahl, SP Miller
Software Engineering—ESEC/FSE’99, 163-179, 1999
1201999
The risks of coverage-directed test case generation
G Gay, M Staats, M Whalen, MPE Heimdahl
IEEE Transactions on Software Engineering 41 (8), 803-819, 2015
1112015
Completeness and consistency analysis of state-based requirements
MPE Heimdahl, NG Leveson
1995 17th International Conference on Software Engineering, 3-3, 1995
1031995
The effect of program and model structure on MC/DC test adequacy coverage
A Rajan, MW Whalen, MPE Heimdahl
Proceedings of the 30th International Conference on Software engineering …, 2008
1022008
Designing specification languages for process control systems: Lessons learned and steps to the future?
NG Leveson, MPE Heimdahl, JD Reese
Software Engineering—ESEC/FSE’99, 127-146, 1999
1001999
Specification test coverage adequacy criteria= specification test generation inadequacy criteria
MPE Heimdahl, D George, R Weber
Eighth IEEE International Symposium on High Assurance Systems Engineering …, 2004
942004
Safety and software intensive systems: Challenges old and new
MPE Heimdahl
Future of Software Engineering (FOSE'07), 137-152, 2007
932007
Reduction and slicing of hierarchical state machines
MPE Heimdahl, MW Whalen
Software Engineering—ESEC/FSE'97, 450-467, 1997
891997
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing
M Staats, G Gay, MPE Heimdahl
2012 34th International Conference on Software Engineering (ICSE), 870-880, 2012
862012
Your" what" is my" how": Iteration and hierarchy in system design
MW Whalen, A Gacek, D Cofer, A Murugesan, MPE Heimdahl, ...
IEEE software 30 (2), 54-60, 2012
842012
The system can't perform the operation now. Try again later.
Articles 1–20