BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × Russia
1 × USA
Collaborated with:
J.Jaffar J.A.Navas A.E.Santosa S.Chaudhuri C.Jermaine Binhang Yuan C.M.Jermaine
Talks about:
sensit (2) slice (2) path (2) interpol (1) bayesian (1) backward (1) control (1) tracer (1) symbol (1) specif (1)

Person: Vijayaraghavan Murali

DBLP DBLP: Murali:Vijayaraghavan

Contributed to:

FSE 20142014
ESEC/FSE 20132013
CAV 20122012
SAS 20122012
ESEC/FSE 20172017
OOPSLA 20172017

Wrote 6 papers:

FSE-2014-JaffarM #control flow #graph #slicing
A path-sensitively sliced control flow graph (JJ, VM), pp. 133–143.
ESEC-FSE-2013-JaffarMN #testing
Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
CAV-2012-JaffarMNS #execution #named #symbolic computation #verification
TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
SAS-2012-JaffarMNS #slicing
Path-Sensitive Backward Slicing (JJ, VM, JAN, AES), pp. 231–247.
ESEC-FSE-2017-MuraliCJ #api #fault #learning #specification
Bayesian specification learning for finding API usage errors (VM, SC, CJ), pp. 151–162.
OOPSLA-2017-YuanMJ #source code
Abridging source code (BY, VM, CMJ), p. 26.

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.