SM Lamraoui, S Nakajima… - 2015 20th International …, 2015 - ieeexplore.ieee.org
In formula-based fault localization methods, a program under test, which is unrolled to a
certain bound, is encoded in a trace formula (TF). The efficiency and precision of the fault …