 | 2009 |
|---|
| 8 |       | Vijay Ganesh,
Tim Leek,
Martin C. Rinard:
Taint-based directed whitebox fuzzing.
ICSE 2009: 474-484 |
| 7 | | Adam Kiezun,
Vijay Ganesh,
Philip J. Guo,
Pieter Hooimeijer,
Michael D. Ernst:
HAMPI: a solver for string constraints.
ISSTA 2009: 105-116 |
| 2008 |
|---|
| 6 | | Cristian Cadar,
Vijay Ganesh,
Peter M. Pawlowski,
David L. Dill,
Dawson R. Engler:
EXE: Automatically Generating Inputs of Death.
ACM Trans. Inf. Syst. Secur. 12(2): (2008) |
| 2007 |
|---|
| 5 | | Vijay Ganesh,
David L. Dill:
A Decision Procedure for Bit-Vectors and Arrays.
CAV 2007: 519-531 |
| 2006 |
|---|
| 4 | | Cristian Cadar,
Vijay Ganesh,
Peter M. Pawlowski,
David L. Dill,
Dawson R. Engler:
EXE: automatically generating inputs of death.
ACM Conference on Computer and Communications Security 2006: 322-335 |
| 2003 |
|---|
| 3 | | Sergey Berezin,
Vijay Ganesh,
David L. Dill:
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.
TACAS 2003: 521-536 |
| 2002 |
|---|
| 2 | | Vijay Ganesh,
Sergey Berezin,
David L. Dill:
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.
FMCAD 2002: 171-186 |
| 1999 |
|---|
| 1 | | Ashok Halambi,
Peter Grun,
Vijay Ganesh,
Asheesh Khare,
Nikil D. Dutt,
Alexandru Nicolau:
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability.
DATE 1999: 485-490 |
