BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × Japan
1 × Spain
3 × USA
Collaborated with:
M.K.Ramanathan S.Jagannathan M.Koyutürk K.Sen S.Ma Y.Liu W.Lee X.Zhang
Talks about:
infer (3) framework (2) protocol (2) version (2) program (2) static (2) across (2) path (2) use (2) differenti (1)

Person: Ananth Grama

DBLP DBLP: Grama:Ananth

Contributed to:

SAC 20082008
SAS 20082008
ICSE 20072007
PLDI 20072007
ASE 20062006
FASE 20062006
KDD 20032003
ESEC/FSE 20182018

Wrote 8 papers:

SAC-2008-RamanathanKGJ #framework #graph #named #testing
PHALANX: a graph-theoretic framework for test case prioritization (MKR, MK, AG, SJ), pp. 667–673.
SAS-2008-RamanathanSGJ #protocol #using
Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.
ICSE-2007-RamanathanGJ #precedence #protocol
Path-Sensitive Inference of Function Precedence Protocols (MKR, AG, SJ), pp. 240–250.
PLDI-2007-RamanathanGJ #mining #specification #using
Static specification inference using predicate mining (MKR, AG, SJ), pp. 123–134.
ASE-2006-RamanathanGJ #automation #detection #named
Sieve: A Tool for Automatically Detecting Variations Across Program Versions (MKR, AG, SJ), pp. 241–252.
FASE-2006-RamanathanJG #alias #memory management
Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.
KDD-2003-KoyuturkG #dataset #framework #named
PROXIMUS: a framework for analyzing very high dimensional discrete-attributed datasets (MK, AG), pp. 147–156.
ESEC-FSE-2018-MaLLZG #analysis #automation #debugging #difference #named #network
MODE: automated neural network model debugging via state differential analysis and input selection (SM, YL, WCL, XZ, AG), pp. 175–186.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.