[LLVMdev] Publication at ICFEM 2014
simo at nii.ac.jp
Tue Oct 28 03:43:12 PDT 2014
I would like the following publication to appear on the LLVM website.
It would be great if somebody could add the paper to
Below, the reference:
A Formula-Based Approach for Automatic Fault Localization of Imperative
Si-Mohamed Lamraoui and Shin Nakajima.
Proceedings of the 16th International Conference on Formal Engineering
Methods (ICFEM '14). November, 2014.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev