[llvm-commits] CVS: llvm-www/pubs/2008-03-SAC-SoftwareFaults.html 2008-03-SAC-SoftwareFaults.pdf pubs.js

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',




