Projects per year
Fingerprint
- 3 Similar Profiles
Network
Projects and Grants
-
Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
Heimdahl, M., Hopper, N., Lu, K., McCamant, S. A. & Rayadurgam, S.
10/1/19 → 9/30/21
Project: Research project
-
Architecture and Analysis for High-Assurance Autonomy (AAHAA)
5/1/18 → 2/28/21
Project: Research project
-
Advanced Testing for Layered Cyber Physical Systems
Rayadurgam, S. & Whalen, M. W.
4/20/18 → 4/30/21
Project: Research project
-
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M., McCamant, S. A. & Rayadurgam, S.
6/15/16 → 5/31/21
Project: Research project
-
Compositional Verification for System of Systems (SoSITE
Whalen, M. W. & Rayadurgam, S.
2/21/17 → 3/25/18
Project: Research project
Research output
-
Input prioritization for testing neural networks
Byun, T., Sharma, V., Vijayakumar, A., Rayadurgam, S. & Cofer, D., May 17 2019, Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019. Institute of Electrical and Electronics Engineers Inc., p. 63-70 8 p. 8718224. (Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Requirements reference models revisited: Accommodating hierarchy in system design
Murugesan, A., Rayadurgam, S. & Heimdahl, M., Sep 2019, Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019. Damian, D., Perini, A. & Lee, S-W. (eds.). IEEE Computer Society, p. 177-186 10 p. 8920675. (Proceedings of the IEEE International Conference on Requirements Engineering; vol. 2019-September).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Contract discovery from black-box components
Sharma, V., Byun, T., McCamant, S., Rayadurgam, S. & Heimdahl, M. P. E., 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 proceeding › Conference contribution
-
Selected Extended Papers of NFM 2016: Preface
Muñoz, C. A., Rayadurgam, S. & Tkachuk, O., Jan 1 2018, In: Journal of Automated Reasoning. 60, 1Research output: Contribution to journal › Article › peer-review
-
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors
Gay, G., Rayadurgam, S. & Heimdahl, M. P. E., Jun 1 2017, In: IEEE Transactions on Software Engineering. 43, 6, p. 531-555 25 p.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations