<div dir="ltr"><div>Hi everyone,</div><div><br></div><div>I would like the following publication to appear on the LLVM website.</div><div>It would be great if somebody could add the paper to</div><div><a href="http://llvm.org/pubs/">http://llvm.org/pubs/</a>.</div><div><br></div><div>Below, the reference:</div><div>A Formula-Based Approach for Automatic Fault Localization of Imperative Programs.</div><div>Si-Mohamed Lamraoui and Shin Nakajima.</div><div>Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM '14). November, 2014.</div><div>Link: <a href="http://dx.doi.org/10.1007/978-3-319-11737-9_17">http://dx.doi.org/10.1007/978-3-319-11737-9_17</a></div><div><br></div><div>Thank you,</div><div>Si-Mohamed Lamraoui</div></div>