 | 2010 |
|---|
| 7 |       | Zhongxing Xu,
Ted Kremenek,
Jian Zhang:
A Memory Model for Static Analysis of C Programs.
ISoLA (1) 2010: 535-548 |
| 2007 |
|---|
| 6 | | Ted Kremenek,
Andrew Y. Ng,
Dawson R. Engler:
A Factor Graph Model for Software Bug Finding.
IJCAI 2007: 2510-2516 |
| 2006 |
|---|
| 5 | | Ted Kremenek,
Paul Twohey,
Godmar Back,
Andrew Y. Ng,
Dawson R. Engler:
From Uncertainty to Belief: Inferring the Specification Within.
OSDI 2006: 161-176 |
| 2004 |
|---|
| 4 | | Ted Kremenek,
Ken Ashcraft,
Junfeng Yang,
Dawson R. Engler:
Correlation exploitation in error ranking.
SIGSOFT FSE 2004: 83-93 |
| 2003 |
|---|
| 3 | | Junfeng Yang,
Ted Kremenek,
Yichen Xie,
Dawson R. Engler:
MECA: an extensible, expressive system and language for statically checking security properties.
ACM Conference on Computer and Communications Security 2003: 321-334 |
| 2 | | Ted Kremenek,
Dawson R. Engler:
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.
SAS 2003: 295-315 |
| 2001 |
|---|
| 1 | | Paul Castro,
Patrick Chiu,
Ted Kremenek,
Richard R. Muntz:
A Probabilistic Room Location Service for Wireless Networked Environments.
Ubicomp 2001: 18-34 |
Data released under the ODC-BY 1.0 license — See also our legal information page