Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson Engler  Home/Search
Context
Related
| stanford.edu/~krem...4feedbackrank.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/~kremenek/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easily render the error checker useless by hiding real errors amidst the false. E#ective error report ranking schemes mitigate the problem of false positives by suppressing them during the report inspection process [17, 19,20]. In this way, ranking techniques provide a complementary method to increasing the precision of the ... (Update)
Active bibliography (related documents): More All
0.3: Z-Ranking: Using Statistical Analysis to Counter the Impact.. - Kremenek, Engler (Correct)
0.2: ARCHER: Using Symbolic, Path-sensitive Analysis to Detect.. - Xie, Chou, Engler (2003) (Correct)
0.2: An Empirical Study of Operating Systems Errors - Chou, Yang, Chelf, Hallem.. (2001) (Correct)
Similar documents based on text: More All
0.4: MECA: an Extensible, Expressive System and Language for .. - Yang, Kremenek, Xie.. (2003) (Correct)
0.2: Using Programmer-Written Compiler Extensions to Catch.. - Ashcraft, Engler (2002) (Correct)
0.2: RacerX: Effective, Static Detection of Race Conditions and.. - Engler, Ashcraft (Correct)
BibTeX entry: (Update)
@misc{ kremenek-correlation,
author = "Ted Kremenek and Ken Ashcraft and Junfeng Yang and Dawson Engler",
title = "Correlation Exploitation in Error Ranking",
url = "citeseer.ist.psu.edu/kremenek04correlation.html" }
Citations (may not include all citations):2319 Elements of Information Theory (context) - Cover, Thomas - 1991
144 Probabilistic Networks and Expert Systems (context) - Cowell, Dawid et al. - 1999
140 Extended static checking for Java - Flanagan, Leino et al. - 2002
108 Automatically validating temporal safety properties of inter.. - Ball, Rajamani - 2001
100 Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
77 Type-based race detection for Java - Flanagan, Freund - 2000
64 Detecting format string vulnerabilities with type qualifiers - Shankar, Talwar et al. - 2001
63 LCLint: A tool for using specifications to check code - Evans, Guttag et al. - 1994
59 A static analyzer for finding dynamic programming errors - Bush, Pincus et al. - 2000
58 MOPS: an infrastructure for examining security properties of.. - Chen, Wagner - 2002
58 Tracking down software bugs using automatic anomaly detectio.. - Hangal, Lam - 2002
47 A system and language for building system-specific (context) - Hallem, Chelf et al. - 2002
46 Understanding belief propagation and its generalizations (context) - Yedidia, Freeman et al. - 2003
46 Flow-sensitive type qualifiers - Foster, Terauchi et al. - 2002
38 An empirical study of operating systems errors - Chou, Yang et al. - 2001
31 A first step towards automated detection of bu#er overrun vu.. (context) - Wagner, Foster et al. - 2000
24 Bug isolation via remote program sampling - Liblit, Aiken et al. - 2003
22 Improving security using extensible lightweight static analy.. - Evans, Larochelle - 2002
20 From symptom to cause: localizing errors in counterexample t.. - Ball, Naik et al. - 2003
17 Permutation Tests: A Practical Guide to Resampling Methods f.. (context) - Good - 2000
13 Detecting races in relay ladder logic programs - Aiken, Faehndrich et al. - 1998
11 Path-sensitive program verification in polynomial time - Das, Lerner et al. - 2002
7 Ranking: Using statistical analysis to counter the impact of.. (context) - Kremenek, Engler - 2003
5 technical introduction to PREfixEnterprise (context) - introduction, Enterprise et al. - 1998
1 Where the bugs are (context) - Ostrand, Weyuker et al. - 2004
Documents on the same site (http://metacomp.stanford.edu/~kremenek/): More
MECA: an Extensible, Expressive System and Language for .. - Yang, Kremenek, Xie.. (2003) (Correct)
Z-Ranking: Using Statistical Analysis to Counter the Impact.. - Kremenek, Engler (Correct)
A Probabilistic Room Location Service for - Wireless Networked Environments (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC