Rui Wang
Rui Wang
PhD research fellow, Western Norway University of Applied Sciences (Høgskulen på Vestlandet)
Verified email at hvl.no - Homepage
Title
Cited by
Cited by
Year
Application of model-based testing on a quorum-based distributed storage
R Wang, LM Kristensen, H Meling, V Stolz
CEUR Workshop Proceedings, 2017
72017
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
R Wang, LM Kristensen, H Meling, V Stolz
Journal of Logical and Algebraic Methods in Programming 104, 254-273, 2019
62019
Simulation of region-based geocast routing protocols
H Zhang, R Wang, T Larsson
2014 International Conference on Connected Vehicles and Expo (ICCVE), 723-730, 2014
42014
Region-based Geocast routing protocols for VANETs: summary, evaluation methods and simulation models
R Wang, H Zhang, T Larsson
2014 International Conference on Connected Vehicles and Expo (ICCVE), 731-738, 2014
32014
Visualization and abstractions for execution paths in model-based software testing
R Wang, C Artho, LM Kristensen, V Stolz
International Conference on Integrated Formal Methods, 474-492, 2019
22019
Integration of runtime verification into metamodeling for simulation and code generation (position paper)
F Macias, T Scheffel, M Schmitz, R Wang
International Conference on Runtime Verification, 454-461, 2016
22016
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets
R Wang, LM Kristensen, V Stolz
International Conference on Verification and Evaluation of Computer and …, 2018
12018
Multi-objective Search for Model-based Testing
R Wang, C Artho, LM Kristensen, V Stolz
2020
Model-based software testing for distributed systems and protocols
R Wang
Høgskulen på Vestlandet, 2020
2020
Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Transactions on Petri Nets and Other Models of Concurrency XIII 11090 …, 2018
2018
Integration of Runtime Verification into Metamodeling
F Macýas, T Scheffel, M Schmitz, R Wang, M Leucker, A Rutle, V Stolz
The system can't perform the operation now. Try again later.
Articles 1–11