Ted Kremenek
发表
Junfeng Yang,
Dawson R. Engler,
Ted Kremenek,
2003,
CCS '03.
Dawson R. Engler,
Ted Kremenek,
D. Engler,
2003,
SAS.
Dawson R. Engler,
Andrew Y. Ng,
Ted Kremenek,
2006,
OSDI '06.
Dawson R. Engler,
Andrew Y. Ng,
Ted Kremenek,
2007,
IJCAI.
Jian Zhang,
Ted Kremenek,
Zhongxing Xu,
2010,
ISoLA.
Ted Kremenek,
Richard R. Muntz,
Patrick Chiu,
2001,
UbiComp.
Junfeng Yang,
Dawson R. Engler,
Ted Kremenek,
2004,
SIGSOFT '04/FSE-12.
Ted Kremenek,
Alvin Chen,
Richard Muntz,
2001
.