MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking.

Ning Ge, Yuchen Liu

Browse the full ISSRE paper archive.