[llvm-commits] CVS: llvm-www/pubs/2009-08-Zoltar.html 2009-08-Zoltar.pdf pubs.js

Sun Oct 25 23:20:24 PDT 2009

Changes in directory llvm-www/pubs:

2009-08-Zoltar.html added (r1.1)
2009-08-Zoltar.pdf added (r1.1)
pubs.js updated: 1.67 -> 1.68
---
Log message:

add Zoltar: a spectrum-based fault localization tool and another one without
a pdf.


---
Diffs of the changes:  (+79 -0)

 2009-08-Zoltar.html |   64 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 2009-08-Zoltar.pdf  |    0 
 pubs.js             |   15 ++++++++++++
 3 files changed, 79 insertions(+)


Index: llvm-www/pubs/2009-08-Zoltar.html
diff -c /dev/null llvm-www/pubs/2009-08-Zoltar.html:1.1
*** /dev/null	Mon Oct 26 01:19:55 2009

--- llvm-www/pubs/2009-08-Zoltar.html	Mon Oct 26 01:19:45 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>Zoltar: a spectrum-based fault localization tool</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Zoltar: a spectrum-based fault localization tool
+ </div>
+ <div class="pub_author">
+   Tom Janssen, Rui Abreu, and Arjan J.C. van Gemund
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ Locating software components which are responsible for observed failures is the most expensive, error-prone phase in the software development life cycle. Automated diagnosis of software faults can improve the efficiency of the debugging process, and is therefore an important process for the development of dependable software. In this paper we present a toolset for automatic fault localization, dubbed Zoltar, which adopts a spectrum-based fault localization technique. The toolset provides the infrastructure to automatically instrument the source code of software programs to produce runtime data, which is subsequently analyzed to return a ranked list of likely faulty locations. Aimed at total automation (e.g., for runtime fault diagnosis), Zoltar has the capability of instrumenting the program under analysis with fault screeners, for automatic error detection. Using a small thread-based example program as well as a large realistic program, we show the applicability of the pr!
 oposed toolset.
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+   "Zoltar: a spectrum-based fault localization tool"
+   <br>
+   Tom Janssen, Rui Abreu, and Arjan J.C. van Gemund.
+   <br>
+ <i>
+ Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
+ </i>, Amsterdam, The Netherlands, August 2009.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2009-08-Zoltar.pdf">
+   Zoltar: a spectrum-based fault localization tool
+   </a> (PDF)</li>
+ </ul>
+ 
+ <h2>BibTeX Entry:</h2>
+ <pre>
+ @inproceedings{1596502,
+  author = {Janssen, Tom and Abreu, Rui and van Gemund, Arjan J.C.},
+  title = {Zoltar: a spectrum-based fault localization tool},
+  booktitle = {SINTER '09: Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime},
+  year = {2009},
+  isbn = {978-1-60558-681-6},
+  pages = {23--30},
+  location = {Amsterdam, The Netherlands},
+  doi = {http://doi.acm.org/10.1145/1596495.1596502},
+  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/2009-08-Zoltar.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.67 llvm-www/pubs/pubs.js:1.68
--- llvm-www/pubs/pubs.js:1.67	Mon Oct 26 01:03:17 2009
+++ llvm-www/pubs/pubs.js	Mon Oct 26 01:19:45 2009
@@ -33,6 +33,14 @@
    month: 8,
    year: 2009},
 
+  {url: '2009-08-Zoltar.html',
+   title: "Zoltar: a spectrum-based fault localization tool",
+   author: "Tom Janssen, Rui Abreu, and Arjan J.C. van Gemund",
+   published: "Proc. of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime",
+   location: "Amsterdam, The Netherlands",
+   month: 8,
+   year: 2009},
+
   {url: '2009-07-ISSTA-BegBunch.html',
    title: 'BegBunch: benchmarking for C bug detection tools',
    author: 'Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney, and Bernhard Scholz',
@@ -172,6 +180,13 @@
     month: 3,
     year: 2009},
 
+   {url: "",
+    title: "SORU: A Reconfigurable Vector Unit for Adaptable Embedded Systems",
+    author: "José M. Moya, Javier Rodríguez, et al",
+    published: "Proc. of the 5th International Workshop on Reconfigurable Computing: Architectures, Tools and Applications",
+    month: 3,
+    year: 2009},
+
    {url: '2009-02-PPoPP-MappingParallelism.html',
     title: 'Mapping parallelism to multi-cores: a machine learning based approach',
     author: "Zheng Wang and Michael F.P. O'Boyle",




