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

Research Output 1991 2018

Filter
Article
2017
2 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Testing
Acceptance tests
Real time systems
Embedded systems
Sensors
2016
13 Citations (Scopus)
Model structures
Testing
Avionics
Economics
Costs
2015
9 Citations (Scopus)

Automated Oracle Data Selection Support

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

Research output: Contribution to journalArticle

Testing
Costs
1 Citation (Scopus)

Design considerations for modeling modes in cyber-physical systems

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

Research output: Contribution to journalArticle

Drug infusion
Thyristors
Cyber Physical System
36 Citations (Scopus)

The risks of coverage-directed test case generation

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

Research output: Contribution to journalArticle

Fault detection
Avionics
Automation
Testing
2013
38 Citations (Scopus)

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

Architectural design
Systems analysis
Hierarchical systems
Availability
Specifications
2009
8 Citations (Scopus)

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

Certification
Software
Industry
Voting
Regulator
1 Citation (Scopus)

Flexibility in modeling languages and tools: A call to arms

Van Wyk, E. & Heimdahl, M., Apr 15 2009, In : International Journal on Software Tools for Technology Transfer. 11, 3, p. 203-215 13 p.

Research output: Contribution to journalArticle

Software engineering
Processing
Technology transfer
Modeling languages
Automation
2007
7 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Model checking
Testing
Fault detection
Experiments
Specifications
2006
41 Citations (Scopus)

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

Formal methods
Tile
Costs
Industry
2005
19 Citations (Scopus)

Deviation analysis: A new use of model checking

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

Research output: Contribution to journalArticle

Model checking
Specifications
Control systems
2004
39 Citations (Scopus)

Auto-generating test sequences using model checkers: A case study

Heimdahl, M., Rayadurgam, S., Visser, W., Devaraj, G. & Gao, J., Dec 1 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2931, p. 42-59 18 p.

Research output: Contribution to journalArticle

Test Generation
Model checking
Model Checking
Model
Leverage
2003
13 Citations (Scopus)

Proving the shalls

Miller, S. P., Tribble, A. C. & Heimdahl, M., 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

Requirements
Model
Formal methods
Formal Analysis
Formal Methods
2 Citations (Scopus)
Data Flow
Reactive Systems
Specification languages
Code Generation
Formal Languages
2002
6 Citations (Scopus)

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

Model checking
Automation
Specifications
Trajectories
2000
2 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Specifications
Theorem proving
Avionics

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. & Thompson, J. M., Jan 1 2000, In : Requirements Engineering. 5, 4, p. 208-224 17 p.

Research output: Contribution to journalArticle

Specifications
Communication
Encapsulation
Spacecraft
Systems analysis
1999
5 Citations (Scopus)

Integrated development environment for prototyping safety critical systems

Thompson, J. M. & Heimdahl, M., Jan 1 1999, In : Proceedings of the International Workshop on Rapid System Prototyping. p. 172-177 6 p.

Research output: Contribution to journalArticle

Static analysis
Animation
Computer systems
Visualization
Specifications
1998
1 Citation (Scopus)
Computer systems
Computer software maintenance
Visibility
Software engineering
Inspection
9 Citations (Scopus)

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

Specifications
Communication
Embedded systems
1996
173 Citations (Scopus)

Completeness and consistency in hierarchical state-based requirements

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

Research output: Contribution to journalArticle

Specifications
Collision avoidance
Explosions
Aircraft
Chemical analysis
1995
35 Citations (Scopus)

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

Specifications
Collision avoidance
Explosions
Aircraft
Chemical analysis
1991
110 Citations (Scopus)

Software Requirements Analysis foi Real-Time Process-Control Systems

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

Research output: Contribution to journalArticle

Process control
Semantics
Specifications
Control systems
Modeling languages