Sanjai Rayadurgam

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Vaibhav Sharma 0001

> Home > Persons > Sanjai Rayadurgam

Publications

2022
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/HusseinRMSH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/HusseinRMSH22
Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl:
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE 2022: 46-57
2021
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HusseinSMRH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HusseinSMRH21
Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Counterexample Guided Inductive Repair of Reactive Contracts. ASE 2021: 1190-1192
2019
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ByunSVRC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ByunSVRC19
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. AITest 2019: 63-70
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-03768
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-03768
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. CoRR abs/1901.03768 (2019)
2018
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SharmaBMRH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SharmaBMRH18
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE 2018: 5-8
2017
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ByunSRMH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ByunSRMH17
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl:
Toward Rigorous Object-Code Coverage Criteria. ISSRE 2017: 328-338

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.