LocFaults, a bounded constraint-based approach to aid for error localization
Error localization
LocFaults: A new flow-driven and constraint-based error localization approach