Projects per year
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
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M., McCamant, S. A. & Rayadurgam, S.
The National Science Foundation
6/15/16 → 5/31/19
Project: Research project
contract
Verification and Validation in Planning Systems
Heimdahl, M., Rayadurgam, S. & Whalen, M. W.
9/11/13 → 9/10/18
Project: Research project
Planning
contract research
student
algorithm
research
Binary Transformation and Contract Discovery
Heimdahl, M., McCamant, S. A., Rayadurgam, S. & Whalen, M. W.
5/8/15 → 5/9/16
Project: Research project
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, 7583721Research output: Contribution to journal › Article
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. 7765544Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 7381816Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 7372030Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 7474491Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
course
Education
education
software
intention