no code implementations • 7 Aug 2023 • Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
Furthermore, the experiment results also show that network reduction can improve the availability of existing verification tools on many networks by reducing them into sequential neural networks.
no code implementations • 6 May 2018 • Ruiwei Wang, Wei Xia, Roland H. C. Yap
We evaluate our correlation heuristics with well known heuristics, namely, dom/wdeg, impact-based search and activity-based search.