Rui Wang
Stilling
Senioringeniør, Systemutvikler – faggruppe for digital utvikling
Tilhørighet
- E-post
- rui.wang@uib.no
- Telefonnummer
- +47 55582519
- Postadresse
-
Postboks 7808
5020 Bergen
Rui Wang
Stilling
Senioringeniør, Systemutvikler – faggruppe for digital utvikling
Tilhørighet
Kort info
Rui Wang har en M.Sc. i datateknologi fra Halmstad University. Han jobbet som programvareutvikler ved IBMs System & Technology Laboratory, utførte forskningsarbeid ved KTH i Stockholm, og fullførte sin doktorgrad i datateknologi ved HVL i Bergen, Norway. Han jobber nå som systemutvikler ved UiB.
Publikasjoner
Vitenskapelig bokkapittel
- Rui Wang (2018). Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets. (ekstern lenke)
- Rui Wang; Cyrille Artho; Lars Michael Kristensen et al. (2020). Multi-objective Search for Model-based Testing. (ekstern lenke)
- Rui Wang; Lars Michael Kristensen; Hein Meling et al. (2017). Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. (ekstern lenke)
Vitenskapelig artikkel
- Fernando Macias Gomez de Villar; Torben Scheffel; Malte Schmitz et al. (2016). Integration of runtime verification into metamodeling for simulation and code generation. (ekstern lenke)
- Rui Wang; Lars Michael Kristensen; Hein Meling et al. (2017). Application of Model-based Testing on a Quorum-based Distributed Storage. (ekstern lenke)
- Rui Wang; Cyrille Artho; Lars Michael Kristensen et al. (2019). Visualization and abstractions for execution paths in model-based software testing. (ekstern lenke)
- Rui Wang; Lars Michael Kristensen; Hein Meling et al. (2018). Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. (ekstern lenke)
- Rui Wang; Lars Michael Kristensen; Volker Stolz (2018). MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. (ekstern lenke)
- Rui Wang; Lars Michael Kristensen; Hein Meling et al. (2019). Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. (ekstern lenke)