Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rong Wang 0002

> Home > Persons

Person information

affiliation: Hosei University, Department of Computer Science, Tokyo, Japan

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/WangLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/WangLS21
Rong Wang, Shaoying Liu, Yuji Sato:
SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution. IEEE Trans. Reliab. 70(3): 1053-1070 (2021)
2020
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WangLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WangLS20
Rong Wang, Shaoying Liu, Yuji Sato:
A Fault Localization Approach Derived From Testing-based Formal Verification. ICECCS 2020: 165-170

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/WangSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/WangSL19
Rong Wang, Yuji Sato, Shaoying Liu:
Specification-based Test Case Generation with Genetic Algorithm. CEC 2019: 1382-1389
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icdlt/WangW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdlt/WangW19
Rong Wang, Toru Wakahara:
Practice in Caption Generation with Keras: The Design and Evaluation for Attention Models. ICDLT 2019: 11-15
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/WangL19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/WangL19a
Rong Wang, Shaoying Liu:
Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution. QRS Companion 2019: 205-212
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/WangL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/WangL18
Rong Wang, Shaoying Liu:
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. QRS 2018: 59-66

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.