LLFI-IPA is an extension of LLFI for multithreaded programs using Invariant Propagation Analysis (IPA).
It uses LLFI for fault injection and Daikon for likely invariant generation.
For more on LLFI installation, please refer to: https://github.com/DependableSystemsLab/LLFI. For more on Daikon installation, please refer to http://plse.cs.washington.edu/daikon/download/doc/daikon/Installing-Daikon.html.