Technology LocFaults: A new flow-driven and constraint-based error localization approach

1. Introduction Example LocFaults approach Experiments Related work Conclusion and future work I3S Laboratory, UNS-CNRS Constraint-Based Error Localization LocFaults: A new…