[www-pubs] r221100 - Added Si-Mohamed Lamraoui's and Shin Nakajima's paper on fault localization

[John Criswell]

Author: criswell
Date: Sun Nov  2 09:21:28 2014
New Revision: 221100

URL: http://llvm.org/viewvc/llvm-project?rev=221100&view=rev
Log:
Added Si-Mohamed Lamraoui's and Shin Nakajima's paper on fault localization
using LLVM.

Modified:
    www-pubs/trunk/pubs.js

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=221100&r1=221099&r2=221100&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Sun Nov  2 09:21:28 2014
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://dx.doi.org/10.1007/978-3-319-11737-9_17",
+    author: "Si-Mohamed Lamraoui and Shin Nakajima",
+    title: "A Formula-Based Approach for Automatic Fault Localization of Imperative Programs",
+    published: "Proceedings of the Sixteenth International Conference on Formal Engineering Methods (ICFEM '14)",
+    month: 11,
+    year: 2014,
+  },
+
   { url: "https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-kuznetsov.pdf",
     author: "Volodymyr Kuznetsov, László Szekeres, Mathias Payer, George Candea, R. Sekar, and Dawn Song",
     title: "Code-Pointer Integrity",