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:
D.R.Engler K.Ashcraft J.Yang P.Twohey G.Back A.Y.Ng
Talks about:
analysi (2) rank (2) uncertainti (1) approxim (1) statist (1) exploit (1) counter (1) within (1) static (1) specif (1)

Person: Ted Kremenek

DBLP DBLP: Kremenek:Ted

Contributed to:

OSDI 20062006
FSE 20042004
SAS 20032003

Wrote 3 papers:

OSDI-2006-KremenekTBNE #nondeterminism #specification
From Uncertainty to Belief: Inferring the Specification Within (TK, PT, GB, AYN, DRE), pp. 161–176.
FSE-2004-KremenekAYE #correlation #fault #ranking
Correlation exploitation in error ranking (TK, KA, JY, DRE), pp. 83–93.
SAS-2003-KremenekE #approximate #named #static analysis #statistics #using
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (TK, DRE), pp. 295–315.

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.