Rui Wang

According to our database, Rui Wang authored at least 6 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Multi-objective Search for Model-based Testing.

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model.

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

J. Log. Algebraic Methods Program., 2019

Visualization and Abstractions for Execution Paths in Model-Based Software Testing.

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems.

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

Trans. Petri Nets Other Model. Concurr., 2018

MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets.

Rui Wang, Lars Michael Kristensen, Volker Stolz

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

Application of Model-based Testing on a Quorum-based Distributed Storage.

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017