Cristin-person-ID: 773785
Person

Aktiv cristin-person Rui Wang

  • Stilling:
    Overingeniør
    ved UB, Seksjon for utdannings- og forskningsstøtte ved Universitetet i Bergen

Resultater Resultater

Multi-objective Search for Model-based Testing.

Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker. 2020, IEEE conference proceedings. KTh, HVLVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Visualization and abstractions for execution paths in model-based software testing.

Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker. 2019, Lecture Notes in Computer Science (LNCS). KTh, HVLVitenskapelig artikkel

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

Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker. 2019, Journal of Logical and Algebraic Methods in Programming. UIS, HVLVitenskapelig artikkel

Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets.

Wang, Rui. 2018, HVLVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 5 av 11 | Neste | Siste »