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: Kremenek:Ted
Contributed to:
2006
2004
2003Wrote 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.