Sanjai Rayadurgam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
10
Active years
1996–2021
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ISSRE | Black-Box Testing of Deep Neural Networks. | Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl |
| 2020 | ICSE | Manifold for machine learning assurance. | Taejoon Byun, Sanjai Rayadurgam |
| 2020 | ICSE | Manifold-based Test Generation for Image Classifiers. | Taejoon Byun, Sanjai Rayadurgam |
| 2019 | RE | Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. | Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2017 | ISSRE | Toward Rigorous Object-Code Coverage Criteria. | Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl |
| 2015 | ISSRE | Efficient observability-based test generation by dynamic symbolic execution. | Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay |
| 2015 | MEMOCODE | Hierarchical multi-formalism proofs of cyber-physical systems. | Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee |
| 2015 | SAFECOMP | Representing Confidence in Assurance Case Evidence. | Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee |
| 2014 | ICSE | Analysis and testing of PLEXIL plans. | Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry |
| 2014 | ICSE | Steering model-based oracles to admit real program behaviors. | Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2014 | ICSE | Exploring the twin peaks using probabilistic verification techniques. | Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee |
| 2014 | ICSE | Structuring simulink models for verification and reuse. | Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2014 | ICSE | Practical aspects of building a constrained random test framework for safety-critical embedded systems. | Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam |
| 2013 | ICSE | Modeling and requirements on the physical side of cyber-physical systems. | Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam |
| 2013 | ICSE | Modes, features, and state-based modeling for clarity and flexibility. | Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2003 | ICFEM | Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. | Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl |
| 2003 | SEW | Generating MC/DC Adequate Test Sequences Through Model Checking. | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 1998 | ICTAI | An agent architecture for supporting individualized services in Internet applications. | Weiguang Shao, Wei-Tek Tsai, Sanjai Rayadurgam, Robert Lai |
| 1998 | ISORC | Automating Regression Testing for Real-Time Software in a Distributed Environment. | Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai |
| 1996 | SEKE | The Role of Program Slicing in Ripple Effect Analysis. | Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam |