Rong Wang, Shaoying Liu, Yuji Sato. A Fault Localization Approach Derived From Testing-based Formal Verification. In Yi Li 0002, Alan Wee-Chung Liew, editors, 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020. pages 165-170, IEEE, 2020. [doi]
Abstract is missing.