Hjem
Rui Wangs bilde

Rui Wang

Overingeniør
  • E-postRui.Wang@uib.no
  • Telefon+47 55 58 25 19+47 922 50 400
  • Besøksadresse
    Haakon Sheteligs plass 7
  • Postadresse
    Postboks 7808
    5020 BERGEN
Vitenskapelig artikkel
  • Vis forfatter(e) 2019. Visualization and abstractions for execution paths in model-based software testing. Lecture Notes in Computer Science (LNCS).
  • Vis forfatter(e) 2019. Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Journal of Logical and Algebraic Methods in Programming. 254-273.
  • Vis forfatter(e) 2018. Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Lecture Notes in Computer Science (LNCS). 158-180.
  • Vis forfatter(e) 2018. MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. Lecture Notes in Computer Science (LNCS). 97-113.
  • Vis forfatter(e) 2017. Application of Model-based Testing on a Quorum-based Distributed Storage. CEUR Workshop Proceedings. 177-196.
  • Vis forfatter(e) 2016. Integration of runtime verification into metamodeling for simulation and code generation. Lecture Notes in Computer Science (LNCS). 454-461.
Vitenskapelig foredrag
  • Vis forfatter(e) 2016. Integration of Runtime Verification into Metamodeling.
Doktorgradsavhandling
  • Vis forfatter(e) 2020. Model-based software testing for distributed systems and protocols.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Vis forfatter(e) 2020. Multi-objective Search for Model-based Testing. 12 sider.
  • Vis forfatter(e) 2018. Model-based Testing of Distributed Systems and Protocols with the Coloured Petri Nets. 4 sider.
  • Vis forfatter(e) 2017. Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. 3 sider.

Se fullstendig oversikt over publikasjoner i CRIStin.