[LLVMdev] Publication at ICFEM 2014

[Simo]

Hi everyone,

I would like the following publication to appear on the LLVM website.
It would be great if somebody could add the paper to
http://llvm.org/pubs/.

Below, the reference:
A Formula-Based Approach for Automatic Fault Localization of Imperative
Programs.
Si-Mohamed Lamraoui and Shin Nakajima.
Proceedings of the 16th International Conference on Formal Engineering
Methods (ICFEM '14). November, 2014.
Link: http://dx.doi.org/10.1007/978-3-319-11737-9_17

Thank you,
Si-Mohamed Lamraoui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141028/246ee2dd/attachment.html>