フォロー
Rui Wang
Rui Wang
PhD research fellow, Western Norway University of Applied Sciences (Høgskulen på Vestlandet)
確認したメール アドレス: hvl.no - ホームページ
タイトル
引用先
引用先
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
182019
Application of model-based testing on a quorum-based distributed storage
R Wang, LM Kristensen, H Meling, V Stolz
CEUR Workshop Proceedings, 2017
72017
Multi-objective Search for Model-based Testing
R Wang, C Artho, LM Kristensen, V Stolz
62020
Visualization and abstractions for execution paths in model-based software testing
R Wang, C Artho, LM Kristensen, V Stolz
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
62019
MBT/CPN: a tool for model-based software testing of distributed systems protocols using coloured Petri nets
R Wang, LM Kristensen, V Stolz
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
42018
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
42016
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
42014
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
Model-based software testing for distributed systems and protocols
R Wang
Høgskulen på Vestlandet, 2020
12020
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
12018
Multi-objective reinforcement learning and optimization for the search-based test case generation of Model-based software testing.
R Wang
Integration of Runtime Verification into Metamodeling
F Macıas, T Scheffel, M Schmitz, R Wang, M Leucker, A Rutle, V Stolz
Workshop on Programming Theory (NWPT’16), 40, 0
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–12