Sanjai Rayadurgam

19962019

Research output 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.

  • 3 Similar Profiles

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

Projects

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

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

  • 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 proceedingConference 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, 1

    Research output: Contribution to journalArticle

    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 journalArticle

    Open Access
  • 2 Scopus citations