Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

  • 4 Similar Profiles
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Avionics Engineering & Materials Science
Specification languages Engineering & Materials Science
Communication Engineering & Materials Science
Costs Engineering & Materials Science
Software engineering Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2004 2019

Research Output 1991 2016

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

Gay, G., Rayadurgam, S. & Heimdahl, M. P. E. 2016 In : IEEE Transactions on Software Engineering. PP, 99, 7583721

Research output: Contribution to journalArticle

Testing
Acceptance tests
Real time systems
Embedded systems
Sensors

Complete Traceability for Requirements in Satisfaction Arguments

Murugesan, A., Whalen, M. W., Ghassabani, E. & Heimdahl, M. P. E. Dec 2 2016 Proceedings - 2016 IEEE 24th International Requirements Engineering Conference, RE 2016. Institute of Electrical and Electronics Engineers Inc., p. 359-364 6 p. 7765544

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Association reactions

Efficient observability-based test generation by dynamic symbolic execution

You, D., Rayadurgam, S., Whalen, M., Heimdahl, M. P. E. & Gay, G. Jan 13 2016 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015. Institute of Electrical and Electronics Engineers Inc., p. 228-238 11 p. 7381816

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Observability
Avionics

Executing model-based tests on platform-specific implementations

You, D., Rayadurgam, S., Heimdahl, M. P. E., Komp, J., Kim, B. & Sokolsky, O. Jan 4 2016 Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 418-428 11 p. 7372030

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Real time systems
Embedded systems

First steps towards exporting education: Software engineering education delivered online to professionals

Wendt, K. D., Reily, K. & Heimdahl, M. P. E. May 19 2016 Proceedings - 2016 IEEE 29th Conference on Software Engineering Education and Training, CSEEandT 2016. Institute of Electrical and Electronics Engineers Inc., p. 241-245 5 p. 7474491

Research output: Chapter in Book/Report/Conference proceedingConference contribution

course
Education
education
software
intention