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
Model Mathematics
Requirements Mathematics
Specification languages Engineering & Materials Science
Communication Engineering & Materials Science

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

Projects 2004 2019

Safety engineering
contract
Planning
contract research
student
algorithm
research

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
1 Citations

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