Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Sreeranga P. Rajan

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 Indradeep Ghosh

> Home > Persons > Sreeranga P. Rajan

Publications

2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/software/YoshidaLKGRTMU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/YoshidaLKGRTMU17
Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara:
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34(5): 30-37 (2017)
2012
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/LiLSGGR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/LiLSGGR12
Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan:
GKLEE: concolic verification and test generation for GPUs. PPoPP 2012: 215-224
2011
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LiGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiGR11
Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan:
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. CAV 2011: 609-615
2009
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RajanTPGGU09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RajanTPGGU09
Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara:
WEAVE: WEb Applications Validation Environment. ICSE Companion 2009: 101-111
2008
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/LiSGORK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/LiSGORK08
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid:
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS 2008: 36-52

a service of

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.