Rong Wang

According to our database, Rong Wang authored at least 6 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution.

Rong Wang, Shaoying Liu, Yuji Sato

IEEE Trans. Reliab., 2021

2020

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

Rong Wang, Shaoying Liu, Yuji Sato

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019

Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution.

Rong Wang, Shaoying Liu

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Practice in Caption Generation with Keras: The Design and Evaluation for Attention Models.

Rong Wang, Toru Wakahara

Proceedings of the 2019 3rd International Conference on Deep Learning Technologies, 2019

Specification-based Test Case Generation with Genetic Algorithm.

Rong Wang, Yuji Sato, Shaoying Liu

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution.

Rong Wang, Shaoying Liu

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018