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 Kapittel/Artikkel/Konferanseartikkel
- Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael et al. (2020). Multi-objective Search for Model-based Testing. (ekstern lenke)
- Wang, Rui (2018). Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2017). Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. (ekstern lenke)
Doktorgradsavhandling
Vitenskapelig artikkel
- Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael et al. (2019). Visualization and abstractions for execution paths in model-based software testing. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2019). Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2018). Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Stolz, Volker (2018). MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. (ekstern lenke)
- Wang, Rui; Kristensen, Lars Michael; Meling, Hein et al. (2017). Application of Model-based Testing on a Quorum-based Distributed Storage. (ekstern lenke)
- Villar, Fernando Macias Gomez de; Scheffel, Torben; Schmitz, Malte et al. (2016). Integration of runtime verification into metamodeling for simulation and code generation. (ekstern lenke)