1991 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2017

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gay, G., Rayadurgam, S. & Heimdahl, M. P. E., Jun 1 2017, In : IEEE Transactions on Software Engineering. 43, 6, p. 531-555 25 p.

Research output: Contribution to journalArticle

Open Access
2 Scopus citations
2016
15 Scopus citations
2015

Automated Oracle Data Selection Support

Gay, G., Staats, M., Whalen, M. & Heimdahl, M. P. E., Nov 1 2015, In : IEEE Transactions on Software Engineering. 41, 11, p. 1119-1137 19 p., 7112189.

Research output: Contribution to journalArticle

10 Scopus citations

Design considerations for modeling modes in cyber-physical systems

Murugesan, A., Rayadurgam, S., Whalen, M. W. & Heimdahl, M. P. E., Jan 1 2015, In : IEEE Design and Test. 32, 5, p. 66-73 8 p., 7172459.

Research output: Contribution to journalArticle

2 Scopus citations

The risks of coverage-directed test case generation

Gay, G., Staats, M., Whalen, M. & Heimdahl, M. P. E., Aug 1 2015, In : IEEE Transactions on Software Engineering. 41, 8, p. 803-819 17 p., 7081779.

Research output: Contribution to journalArticle

44 Scopus citations
2013

Your 'what' is my 'how': Iteration and hierarchy in system design

Whalen, M. W., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M. & Rayadurgam, S., Jun 28 2013, In : IEEE Software. 30, 2, p. 54-60 7 p., 6359702.

Research output: Contribution to journalArticle

40 Scopus citations
2009

A Software Certification Consortium and its Top 9 Hurdles

Hatcliff, J., Heimdahl, M., Lawford, M., Maibaum, T., Wassyng, A. & Wurden, F., Sep 28 2009, In : Electronic Notes in Theoretical Computer Science. 238, 4, p. 11-17 7 p.

Research output: Contribution to journalArticle

8 Scopus citations
1 Scopus citations
2007

On the effect of test-suite reduction on automatically generated model-based tests

Heimdahl, M. P. E. & George, D., Mar 1 2007, In : Automated Software Engineering. 14, 1, p. 37-57 21 p.

Research output: Contribution to journalArticle

7 Scopus citations
2006

Proving the shalls: Early validation of requirements through formal methods

Miller, S. P., Tribble, A. C., Whalen, M. W. & Heimdahl, M., Aug 1 2006, In : International Journal on Software Tools for Technology Transfer. 8, 4-5, p. 303-319 17 p.

Research output: Contribution to journalArticle

43 Scopus citations
2005

Deviation analysis: A new use of model checking

Heimdahl, M. P. E., Choi, Y. & Whalen, M. W., Jul 1 2005, In : Automated Software Engineering. 12, 3, p. 321-347 27 p.

Research output: Contribution to journalArticle

20 Scopus citations
2004
40 Scopus citations
2003

Proving the shalls

Miller, S. P., Tribble, A. C. & Heimdahl, M. P. E., Dec 1 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2805, p. 75-93 19 p.

Research output: Contribution to journalArticle

13 Scopus citations
2 Scopus citations
2002

Toward automation for model-checking requirements specifications with numeric constraints

Choi, Y., Rayadurgam, S. & Heimdahl, M., Jan 1 2002, In : Requirements Engineering. 7, 4, p. 225-242 18 p.

Research output: Contribution to journalArticle

6 Scopus citations
2000

On the analysis needs when verifying state-based software requirements: An experience report

Heimdahl, M. P. E. & Czerny, B. J., Jan 2000, In : Science of Computer Programming. 36, 1, p. 65-96 32 p.

Research output: Contribution to journalArticle

2 Scopus citations

Requirements capture and evaluation in Nimbus: The light-control case study

Thompson, J. M., Whalen, M. W. & Heimdahl, M. P. E., 2000, In : Journal of Universal Computer Science. 6, 7, p. 731-757 27 p.

Research output: Contribution to journalArticle

Specifying and analysing system-level inter-component interfaces

Heimdahl, M. P. E. & Thompson, J. M., Jan 1 2000, In : Requirements Engineering. 5, 4, p. 208-224 17 p.

Research output: Contribution to journalArticle

1998
1 Scopus citations

Specification and analysis of intercomponent communication

Heimdahl, M., Thompson, J. M. & Czerny, B. J., Apr 1 1998, Computer, 31, 4, p. 47-54 8 p.

Research output: Contribution to specialist publicationArticle

9 Scopus citations
1996

Completeness and consistency in hierarchical state-based requirements

Heimdahl, M. P. E. & Leveson, N. G., Dec 1 1996, In : IEEE Transactions on Software Engineering. 22, 6, p. 363-377 15 p.

Research output: Contribution to journalArticle

175 Scopus citations
1995

Completeness and consistency analysis of state-based requirements

Heimdahl, M. P. E. & Leveson, N. G., Jan 1 1995, In : Proceedings - International Conference on Software Engineering. p. 3-14 12 p.

Research output: Contribution to journalArticle

36 Scopus citations
1991

Software Requirements Analysis foi Real-Time Process-Control Systems

Jaffe, M. S., Leveson, N. G., Heimdahl, M. P. E. & Melhart, B. E., Mar 1991, In : IEEE Transactions on Software Engineering. 17, 3, p. 241-258 18 p.

Research output: Contribution to journalArticle

114 Scopus citations