Ted Kremenek (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Ted Kremenek, Andrew Y. Ng, Dawson R. Engler: A Factor Graph Model for Software Bug Finding. IJCAI 2007: 2510-2516

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

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

6		Ted Kremenek, Andrew Y. Ng, Dawson R. Engler: A Factor Graph Model for Software Bug Finding. IJCAI 2007: 2510-2516
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