Sanjai Rayadurgam

19992021
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.

  • 4 Similar Profiles
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Confidence Mathematics
Semantics Engineering & Materials Science
Congestion control (communication) Engineering & Materials Science
Pumps Engineering & Materials Science
Architectural design Engineering & Materials Science

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

Projects 2010 2021

Research Output 1999 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
2 Citations (Scopus)

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

Testing
Acceptance tests
Real time systems
Embedded systems
Sensors
1 Citation (Scopus)

Discovering instructions for robust binary-level coverage criteria

Sharma, V., Byun, T., McCamant, S., Rayadurgam, S. & Heimdahl, M. P. E., 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
1 Citation (Scopus)

From requirements to code: Model based development of a medical cyber physical system

Murugesan, A., Heimdahl, M. P. E., Whalen, M. W., Rayadurgam, S., Komp, J., Duan, L., Kim, B. G., Sokolsky, O. & Lee, I., Jan 1 2017, Software Engineering in Health Care - 4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Revised Selected Papers. Huhn, M. & Williams, L. (eds.). Springer- Verlag, p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9062 LNCS).

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

Model-based
Requirements
Health care
Software engineering
Pumps