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
10 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
2 Citations (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
38 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
42 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
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
174 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