R. Wang, C. Artho, L. M. Kristensen, and V. Stolz. Multi-objective Search for Model-based Testing. Submitted to The 20th IEEE International Conference on Software Quality, Reliability, and Security, Vilnius, Lithuania, IEEE, 2020.
R. Wang, C. Artho, L. M. Kristensen, and V. Stolz. Visualization and Abstractions for Execution Paths in Model-Based Software Testing. In Integrated Formal Methods, volume 11918 of Lecture Notes in Computer Science, pages 474–492, Springer International Publishing, 2019. (Publication)
R. Wang, L. M. Kristensen, H. Meling, and V. Stolz. Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. In Journal of Logical and Algebraic Methods in Programming, volume 104, pages 254–273, Elsevier Ltd, 2019. (Publication)
R. Wang, L. M. Kristensen, H. Meling, and V. Stolz. Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. In Transactions on Petri Nets and Other Models of Concurrency XIII, volume 11090 of Lecture Notes in Computer Science, pages 158–180, Springer International Publishing, 2018. (Publication)
R. Wang, L. M. Kristensen, and V. Stolz. MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. In Verification and Evaluation of Computer and Communication Systems, volume 11181 of Lecture Notes in Computer Science, pages 97–113, Springer International Publishing, 2018. (Publication)
International Workshop Publications
R. Wang, L. M. Kristensen, H. Meling, and V. Stolz. Application of Model-based Testing on a Quorum-based Distributed Storage. In CEUR Workshop Proceedings, Petri Nets and Software Engineering (PNSE’17), volume 1846, pages 177–196, 2017.
R. Wang, L. M. Kristensen, H. Meling, and V. Stolz. Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. In Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT), Turku Center for Computer Science, Finland, 2017.
Other Publications
F. Macias, T. Scheffel, M. Schmitz, and R. Wang, M. Leucker, A. Rutle, V. Stolz. Integration of Runtime Verification into Metamodeling. In Proceedings of the 28th Nordic Workshop on Programming Theory (NWPT). Aalborg University, Denmark. 2016.
F. Macias, T. Scheffel, M. Schmitz, and R. Wang. Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (position paper). In Runtime Verification, volume 10012 of Lecture Notes in Computer Science, pages 454–461. Springer International Publishing, 2016.
R. Wang, H. Zhang and T. Larsson, "Region-based Geocast routing protocols for VANETs: Summary, evaluation methods and simulation models," 2014 International Conference on Connected Vehicles and Expo (ICCVE), pp. 731-738, Vienna, 2014
H. Zhang, R. Wang and T. Larsson, "Simulation of region-based geocast routing protocols," 2014 International Conference on Connected Vehicles and Expo (ICCVE), pp. 723-730, Vienna, 2014