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>
On 10/28/14, 6:43 AM, Simo wrote:> Proceedings of the 16th International Conference on Formal Engineering > Methods (ICFEM '14)This is done. I haven't taken a look at your paper (I'm at home and can't access Springer content at the moment), but are you aware of the invariant-based software fault localization that Swarup Sahoo developed? You might find it interesting. Our paper is at http://dl.acm.org/citation.cfm?id=2451131, and (of course) it uses LLVM. Regards, John Criswell -- John Criswell Assistant Professor Department of Computer Science, University of Rochester http://www.cs.rochester.edu/u/criswell