Seguir
Mats Heimdahl
Mats Heimdahl
Professor and Department Head, Computer Science and Engineering, University of Minnesota
Dirección de correo verificada de umn.edu
Título
Citado por
Citado por
Año
Requirements specification for process-control systems
NG Leveson, MPE Heimdahl, H Hildreth, JD Reese
IEEE transactions on software engineering 20 (9), 684-707, 1994
8201994
Completeness and consistency in hierarchical state-based requirements
MPE Heimdahl, NG Leveson
IEEE transactions on Software Engineering 22 (6), 363-377, 1996
4531996
Software requirements analysis for real-time process-control systems
MS Jaffe, NG Leveson, M Heimdahl, B Melhart
3201990
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
2752001
Model-based safety analysis of simulink models using SCADE design verifier
A Joshi, MPE Heimdahl
Computer Safety, Reliability, and Security: 24th International Conference …, 2005
2082005
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
1792006
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
1622004
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
1552005
Programs, tests, and oracles: the foundations of testing revisited
M Staats, MW Whalen, MPE Heimdahl
Proceedings of the 33rd international conference on software engineering …, 2011
1362011
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
1292015
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
1262003
Specification-based prototyping for embedded systems
JM Thompson, MPE Heimdahl, SP Miller
ACM SIGSOFT Software Engineering Notes 24 (6), 163-179, 1999
1261999
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
1092008
Designing specification languages for process control systems: Lessons learned and steps to the future
NG Leveson, MPE Heimdahl, JD Reese
ACM SIGSOFT Software Engineering Notes 24 (6), 127-145, 1999
1051999
Completeness and consistency analysis of state-based requirements
MPE Heimdahl, NG Leveson
Proceedings of the 17th International Conference on Software Engineering, 3-14, 1995
1051995
Safety and software intensive systems: Challenges old and new
MPE Heimdahl
Future of Software Engineering (FOSE'07), 137-152, 2007
972007
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
On the danger of coverage directed test case generation
M Staats, G Gay, M Whalen, M Heimdahl
Fundamental Approaches to Software Engineering: 15th International …, 2012
932012
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
922012
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
912012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20