Get started
Author

Rong Wang

Specification-based Test Case Generation with Genetic Algorithm
2019 · Rong Wang, Yuji Sato, et al. · IEEE Congress on Evolutionary Computation (CEC) · 12
Detecting Bugs of Concurrent Programs With Program Invariants
2017 · Rong Wang, Zuohua Ding, et al. · IEEE Transactions on Reliability · 12
SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution
2021 · Rong Wang, Shaoying Liu, et al. · IEEE Transactions on Reliability · 11
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution
2018 · Rong Wang, Shaoying Liu · IEEE International Conference on Software Quality, Reliability and Security (QRS) · 9
Mutated Specification-Based Test Data Generation with a Genetic Algorithm
2021 · Rong Wang, Yuji Sato, et al. · Mathematics · 6
PDF
Comparison of medical history documentation efficiency and quality based on GPT-4o: a study on the comparison between residents and artificial intelligence
2025 · Xiaojing Lu, Xinqi Gao, et al. · Frontiers in Medicine · 5
PDF
SAEV: Secure Aggregation and Efficient Verification for Privacy-Preserving Federated Learning
2024 · Junkai Wang, Rong Wang, et al. · IEEE Internet of Things Journal · 5
Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution
2019 · Rong Wang, Shaoying Liu · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) · 4
A Fault Localization Approach Derived From Testing-based Formal Verification
2020 · Rong Wang, Shaoying Liu, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 3
Cooperative relay selection scheme based on geographical information
2011 · Rong Wang, Xinlong Luo, et al. · IEEE International Conference on Cloud Computing and Intelligence Systems (CCIS) · 3
Cross-Modal Simplex Center Learning for Speech-Face Association
2025 · Qiming Ma, Fanliang Bu, et al. · Computers, materials & continua/Computers, materials & continua (Print) · 2
PDF
Intrusion Tolerant Systems Characterization and Acceptance Monitor Design
2001 · Rong Wang · 2
A system for remote monitoring information management and risk control in the underground engineering
2010 · Long Xiaodong, Wang Rong, et al. · IOS Press eBooks · 1
Visualized performance evaluation of 3D CAD software based on the characterization of test data by cloud model
2022 · Jin Cheng, Hao Lv, et al. · International Conference on Cloud Computing, Internet of Things, and Computer Applications (CICA)
Practice in Caption Generation with Keras: The Design and Evaluation for Attention Models
2019 · Rong Wang, Toru Wakahara · International Conference on Deep Learning Technologies (ICDLT)
Detecting Bugs of Concurrent Programs with Program Invariants
2016 · Zuohua Ding, Rong Wang, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Research on the Remote Control and Monitoring Scheme of Oil Well
2010 · Rong Wang · Automation Application
Adaptive Loop Subdivision Scheme Based on Vector Linear Dependence for Triangle Mesh
2009 · Rong Wang · Journal of Engineering Graphics
Study on the efficiency of compiler in embedded system integrated development environment
2008 · Rong Wang · Application of Electronic Technique
The Classification and Selection of Heat Meters
2004 · Rong Wang, Ding Ai-jun · Building Science
Cellular Network Authentication, Authorization, and Accounting Requirements
1999 · Rong Wang, John Wang
Works count: 21
Citation count: 75
H-index: 5
I10-index: 3
Year
Topic
Type