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

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.

  • 3 Similar Profiles
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Avionics Engineering & Materials Science
Specification languages Engineering & Materials Science
Software engineering Engineering & Materials Science
Formal methods Engineering & Materials Science
Computer systems Engineering & Materials Science

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

Projects 2004 2020

Research Output 1991 2018

Contract discovery from black-box components

Sharma, V., Byun, T., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., Nov 9 2018, WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018. Honavar, V., Nguyen, T. N., Leavens, G. T., Dyer, R., Rajan, H. & Nguyen, H. A. (eds.). Association for Computing Machinery, Inc, p. 5-8 4 p. (WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018).

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

Static analysis
Dynamic analysis
Systems analysis
4 Citations (Scopus)

Architectural modeling and analysis for safety engineering

Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M., Jan 1 2017, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. Bozzano, M. & Papadopoulos, Y. (eds.). Springer- Verlag, p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10437 LNCS).

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

Safety engineering
Security systems
Safety
Engineering
Braking
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
1 Citation (Scopus)

Discovering instructions for robust binary-level coverage criteria

Sharma, V. B., Byun, T. J., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., Jul 13 2017, TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Yu, T. & Marinov, D. (eds.). Association for Computing Machinery, Inc, p. 1-4 4 p. (TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017).

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

coverage
instruction
ability

Domain modeling for development process simulation

De Silva, I. J., Rayadurgam, S. & Heimdahl, M., Jul 5 2017, ICSSP 2017 - Proceedings of the 2017 International Conference on Software and System Process. Bendraou, R., Maggi, F. M., Raffo, D. & LiGuo, H. (eds.). Association for Computing Machinery, p. 95-99 5 p. (ACM International Conference Proceeding Series; vol. Part F128767).

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

Planning
Software agents
Decision making
Decomposition