Sanjai Rayadurgam, Ph.D.

Affiliations: 
2004 University of Minnesota, Twin Cities, Minneapolis, MN 
Area:
Computer Science
Google:
"Sanjai Rayadurgam"

Parents

Sign in to add mentor
Mats P. E. Heimdahl grad student 2004 UMN
 (Automatic test -case generation from formal models of software.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Heimdahl MPE, Rayadurgam S, Visser W, et al. (2004) Auto-generating test sequences using model checkers: A case study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2931: 42-59
Rayadurgam S, Joshi A, Heimdahl MPE. (2003) Using PVS to prove properties of systems modelled in a synchronous dataflow language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2885: 167-186
Choi Y, Rayadurgam S, Heimdahl MPE. (2002) Toward automation for model-checking requirements specifications with numeric constraints Requirements Engineering. 7: 225-242
Choi Y, Rayadurgam S, Heimdahl MPE. (2001) Automatic abstraction for model checking software systems with interrelated numeric constraints Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 164-174
See more...