Ted Kremenek (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler: Correlation exploitation in error ranking. SIGSOFT FSE 2004: 83-93

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

Selection of 2 from 6 records - Ted Kremenek has 10 coauthors

4		Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler: Correlation exploitation in error ranking. SIGSOFT FSE 2004: 83-93
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