[llvm-commits] CVS: llvm-www/pubs/2008-03-SAC-SoftwareFaults.html 2008-03-SAC-SoftwareFaults.pdf pubs.js
Chris Lattner
sabre at nondot.org
Sat Jun 27 12:54:40 PDT 2009
Changes in directory llvm-www/pubs:
2008-03-SAC-SoftwareFaults.html added (r1.1)
2008-03-SAC-SoftwareFaults.pdf added (r1.1)
pubs.js updated: 1.32 -> 1.33
---
Log message:
Add "Automatic software fault localization using generic program invariants"
from SAC'08
---
Diffs of the changes: (+71 -0)
2008-03-SAC-SoftwareFaults.html | 64 ++++++++++++++++++++++++++++++++++++++++
2008-03-SAC-SoftwareFaults.pdf | 0
pubs.js | 7 ++++
3 files changed, 71 insertions(+)
Index: llvm-www/pubs/2008-03-SAC-SoftwareFaults.html
diff -c /dev/null llvm-www/pubs/2008-03-SAC-SoftwareFaults.html:1.1
*** /dev/null Sat Jun 27 14:54:29 2009
--- llvm-www/pubs/2008-03-SAC-SoftwareFaults.html Sat Jun 27 14:54:19 2009
***************
*** 0 ****
--- 1,64 ----
+ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+ <html>
+ <head>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+ <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen">
+ <title>Automatic Software Fault Localization using Generic Program Invariants</title>
+ </head>
+ <body>
+
+ <div class="pub_title">
+ Automatic Software Fault Localization using Generic Program Invariants
+ </div>
+ <div class="pub_author">
+ Rui Abreu, Alberto Gonzalez, Peter Zoeteweij, and Arjan J.C. van Gemund
+ </div>
+
+ <h2>Abstract:</h2>
+ <blockquote>
+ Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of low-cost, generic invariants ("screeners") in their capacity of error detectors within a spectrum-based fault localization (SFL) approach aimed to diagnose program defects in the operational phase. The screeners considered are simple bit-mask and range invariants that screen every load/store and function argument/return program point. Their generic nature allows them to be automatically instrumented without any programmer-effort, while training is straightforward given the test cases available in the development phase. Experiments based on the Siemens program set demonstrate diagnostic performance that is similar to the traditional, development-time application of SFL based on the program pass/fail information known before-hand. This diagnostic performance is currently attained at an average 14% screener exe!
cution time overhead, but this overhead can be reduced at limited performance penalty.
+ </blockquote>
+
+ <h2>Published:</h2>
+ <blockquote>
+ "Automatic Software Fault Localization using Generic Program Invariants"
+ <br>
+ Rui Abreu, Alberto Gonzalez, Peter Zoeteweij, and Arjan J.C. van Gemund
+ <br>
+ <i>
+ Proceedings of the 2008 ACM symposium on Applied computing (SAC'08)
+ </i>, Fortaleza, Ceara, Brazil, March 2008.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+ <li><a href="2008-03-SAC-SoftwareFaults.pdf">
+ Automatic Software Fault Localization using Generic Program Invariants
+ </a> (PDF)</li>
+ </ul>
+
+ <h2>BibTeX Entry:</h2>
+ <pre>
+ @inproceedings{1363855,
+ author = {Abreu, Rui and Gonz\'{a}lez, Alberto and Zoeteweij, Peter and van Gemund, Arjan J. C.},
+ title = {Automatic software fault localization using generic program invariants},
+ booktitle = {SAC '08: Proceedings of the 2008 ACM symposium on Applied computing},
+ year = {2008},
+ isbn = {978-1-59593-753-7},
+ pages = {712--717},
+ location = {Fortaleza, Ceara, Brazil},
+ doi = {http://doi.acm.org/10.1145/1363686.1363855},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ }
+ </pre>
+
+ <!-- *********************************************************************** -->
+ <hr>
+ <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
+ src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
+ <a href="http://validator.w3.org/check/referer"><img
+ src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+
+ </body>
+ </html>
Index: llvm-www/pubs/2008-03-SAC-SoftwareFaults.pdf
Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.32 llvm-www/pubs/pubs.js:1.33
--- llvm-www/pubs/pubs.js:1.32 Sat Jun 27 14:46:53 2009
+++ llvm-www/pubs/pubs.js Sat Jun 27 14:54:19 2009
@@ -296,6 +296,13 @@
month: 3,
year: 2008},
+ {url: "2008-03-SAC-SoftwareFaults.html",
+ title: "Automatic Software Fault Localization using Generic Program Invariants",
+ author: "Rui Abreu, Alberto Gonzalez, Peter Zoeteweij, and Arjan J.C. van Gemund",
+ published: "Proc. of the 2008 ACM symposium on Applied computing (SAC'08)",
+ month: 3,
+ year: 2008},
+
{url: '2008-02-ImpedingMalwareAnalysis.html',
title: 'Impeding Malware Analysis Using Conditional Code Obfuscation',
author: 'Monirul Sharif, Andrea Lanzi, Jonathon Giffin and Wenke Lee',
More information about the llvm-commits
mailing list