A Fault Localization Approach Derived From Testing-based Formal Verification.

Rong Wang, Shaoying Liu, Yuji Sato

Browse the full ICECCS paper archive.