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:
3 × USA
Collaborated with:
R.Majumdar Y.Hu L.He
Talks about:
assist (2) local (2) satisfi (1) program (1) maximum (1) robust (1) rewir (1) fault (1) error (1) claus (1)

Person: Manu Jose

DBLP DBLP: Jose:Manu

Contributed to:

CAV 20112011
PLDI 20112011
DAC 20102010

Wrote 3 papers:

CAV-2011-JoseM #fault #locality #named #source code
Bug-Assist: Assisting Fault Localization in ANSI-C Programs (MJ, RM), pp. 504–509.
PLDI-2011-JoseM #fault #locality #satisfiability #using
Cause clue clauses: error localization using maximum satisfiability (MJ, RM), pp. 437–446.
DAC-2010-JoseHMH #robust
Rewiring for robustness (MJ, YH, RM, LH), pp. 469–474.
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.