(original) (raw)

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