Concepedia

Ted Kremenek

TK

7

Publications

1.5K

Citations

7

H-Index

2000

Active since

Affiliations

Stanford University(Current)

University of California, Los Angeles

Ted Kremenek is an author at Stanford University specializing in software testing, formal methods, and software maintenance.

Top concepts

Publications per year

2000–2007

7

Publications

7

The First Measurement of Spectral Lines in a Short-Period Star Bound to the Galaxy’s Central Black Hole: A Paradox of Youth

A. M. Ghez, Gaspard Duchêne, K. Matthews et al. · The Astrophysical Journal · 2003 · 656 citations · Full text

The accelerations of stars orbiting the Milky Way's central black hole

A. M. Ghez, M. Morris, E. E. Becklin et al. · Nature · 2000 · 425 citations · Full text

, , +3

From uncertainty to belief: inferring the specification within

Ted Kremenek, Paul Twohey, Godmar Back et al. · Operating Systems Design and Implementation · 2006 · 152 citations

, , +27

Correlation exploitation in error ranking

Ted Kremenek, Ken Ashcraft, Junfeng Yang et al. · 2004 · 131 citations

, , +24

MECA

Junfeng Yang, Ted Kremenek, Yichen Xie et al. · 2003 · 43 citations

, , +17

Rows per page

1–5 of 7