Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Vijay Ganesh

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 Adam Kiezun

> Home > Persons > Vijay Ganesh

Publications

2019
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KiezunGHEG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KiezunGHEG19
Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh:
Theory and practice of string solvers (invited talk abstract). ISSTA 2019: 6-7
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/KiezunGAGHE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/KiezunGAGHE12
Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. 21(4): 25:1-25:28 (2012)
2011
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GaneshKAGHE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GaneshKAGHE11
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19
2009
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KiezunGGHE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KiezunGGHE09
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: a solver for string constraints. ISSTA 2009: 105-116
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/JayaramanHGK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/JayaramanHGK09
Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun:
jFuzz: A Concolic Whitebox Fuzzer for Java. NASA Formal Methods 2009: 121-125

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.