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]
@inproceedings{WangLS20-14, title = {A Fault Localization Approach Derived From Testing-based Formal Verification}, author = {Rong Wang and Shaoying Liu and Yuji Sato}, year = {2020}, doi = {10.1109/ICECCS51672.2020.00026}, url = {https://doi.org/10.1109/ICECCS51672.2020.00026}, researchr = {https://researchr.org/publication/WangLS20-14}, cites = {0}, citedby = {0}, pages = {165-170}, booktitle = {25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020}, editor = {Yi Li 0002 and Alan Wee-Chung Liew}, publisher = {IEEE}, isbn = {978-1-7281-8558-3}, }