Rui Wang

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 6

Top Topics

Distributed Storage

Software Testing

Test Data Generation

Top Venues

Trans. Petri Nets Other Model. Concurr.

J. Log. Algebraic Methods Program.

PNSE @ Petri Nets

Publications

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Multi-objective Search for Model-based Testing. QRS (2020)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. 104 (2019)
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM (2019)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Rui Wang, Lars Michael Kristensen, Volker Stolz
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. VECoS (2018)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets (2017)