Ted Kremenek and Dawson Engler - Free people check

(1 - 10 from 12

)

Godmar Back's Publications - People

people.cs.vt.edu

Ted Kremenek, Paul Twohey, Godmar Back, Dawson Engler, and Andrew Ng. accepted to Seventh Symposium on Operating Systems Design and ...

Dawson Engler - Stanford University

web.stanford.edu

Ted Kremenek and Dawson Engler. Appeared in SAS A simple technique for detecting when static analysis makes a mistake. The basic intuition: the most trustworthy analysis decisions are those that lead to many successful checks and relatively few errors. Analysis mistakes tend to flag many errors and have few successful checks.

Yichen Xie

theory.stanford.edu

Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler In Proceedings of CCS 2003, Washington, DC . Using Redundancies to Find Errors Yichen Xie and Dawson Engler

Static Analysis: 12th International Symposium, SAS 2005, London, UK...

books.google.co.uk

David Hovemeyer and William Pugh. Finding bugs is easy. SIGPLAN Not., 39(12):92–106, Ted Kremenek and Dawson Engler. Z-ranking: Using statistical ...

On Estimating the Security Risks of Composite Software ...

research.ihost.com

Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler. Meca: an extensible, expres- sive system and language for statically checking security ...

CiteSeerX — Z-Ranking: Using Statistical Analysis to Counter the...

citeseerx.ist.psu.edu

BibTeX. @INPROCEEDINGS{Kremenek03z-ranking:using, author = {Ted Kremenek and Dawson Engler}, title = {Z-Ranking: Using Statistical Analysis to ...

CiteSeerX — MECA: an Extensible, Expressive System and Language for...

citeseer.ist.psu.edu

BibTeX @INPROCEEDINGS{Yang03meca:an, author = {Junfeng Yang and Ted Kremenek and Yichen Xie and Dawson Engler}, title = {MECA: an Extensible, Expressive …

All web results to the name "Ted Kremenek"

Using model checking and execution generated tests to find bugs in...

slideplayer.com

Using model checking and execution generated tests to find bugs in real code Dawson Engler Cristian Cadar, Junfeng Yang, Ted Kremenek, Paul Twohey Stanford.

Internet Systems Group Seminar -- University of Toronto

www.cs.toronto.edu

June 28th. From Uncertainty to Belief: Inferring the Specification Within. Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, Dawson Engler. OSDI

NSF Award Search: Award# CAREER: Effective Methods for...

www.nsf.gov

Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, Dawson Engler. "From Uncertainty to Belief: Inferring the Specification Within," Operating System ...

Related search requests for Ted Kremenek

Patrick Chiu
Ruslan Baratov
Paul Twohey

People
Forename "Ted" (14326)
Name "Kremenek" (1)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Ted Kremenek and Dawson Engler Free People Check