Sanjai Rayadurgam

19962021

Research activity per year

If you made any changes in Pure these 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.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Black-Box Testing of Deep Neural Networks

    Byun, TJ., Rayadurgam, S. & Heimdahl, M. P. E., 2021, Proceedings - 2021 IEEE 32nd International Symposium on Software Reliability Engineering, ISSRE 2021. Jin, Z., Li, X., Xiang, J., Mariani, L., Liu, T., Yu, X. & Ivaki, N. (eds.). IEEE Computer Society, p. 309-320 12 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2021-October).

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

  • Counterexample Guided Inductive Repair of Reactive Contracts

    Hussein, S. M., Sharma, V. B., McCamant, S., Rayadurgam, S. & Heimdahl, M., 2021, Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021. Institute of Electrical and Electronics Engineers Inc., p. 1190-1192 3 p. (Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021).

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

  • 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 proceedingConference contribution

    18 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 proceedingConference contribution

    2 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 proceedingConference contribution