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 | 19 | 2019 |
Application of model-based testing on a quorum-based distributed storage R Wang, LM Kristensen, H Meling, V Stolz CEUR Workshop Proceedings, 2017 | 8 | 2017 |
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 | 7 | 2019 |
Multi-objective Search for Model-based Testing R Wang, C Artho, LM Kristensen, V Stolz | 6 | 2020 |
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 | 4 | 2018 |
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 | 4 | 2016 |
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 | 4 | 2014 |
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 | 4 | 2014 |
Model-based software testing for distributed systems and protocols R Wang Høgskulen på Vestlandet, 2020 | 2 | 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 | 1 | 2018 |
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 | | |