TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. - Rong Wang 002; Shaoying Liu (QRS, 2018)

Specification-based Test Case Generation with Genetic Algorithm. - Rong Wang 002; Yuji Sato; Shaoying Liu (CEC, 2019)

Practice in Caption Generation with Keras: The Design and Evaluation for Attention Models. - Rong Wang 002; Toru Wakahara (ICDLT, 2019)

Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution. - Rong Wang 002; Shaoying Liu (QRS Companion, 2019)

A Fault Localization Approach Derived From Testing-based Formal Verification. - Rong Wang 002; Shaoying Liu; Yuji Sato (ICECCS, 2020)

SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution. - Rong Wang 002; Shaoying Liu; Yuji Sato (IEEE Trans. Reliab., 2021)