Recent Work

Model-Based Testing for Fault-Tolerant Distributed Systems and Consensus Protocols.
The application of MBT for Quorum-based fault-tolerant distributed software systems and consensus protocols, to ensure the correctness, reliability, and consistency of their implementations. Joint work with the University of Stavanger during my time as a Ph.D. at the Western Norway University of Applied Sciences.
Read

Automated Test Case Generation and Execution based on Coloured Petri Nets for Distributed Systems Protocols
Tools developed based on Coloured Petri Nets for model-based software testing of distributed software systems and protocols. Research project during my time as a Ph.D. at the Western Norway University of Applied Sciences.
Read

Multi-objective reinforcement learning and optimization for the search-based test case generation of Model-based software testing.
A search-based approach relying on multi-objective reinforcement learning and optimization for test case generation in model-based software testing. Joint work with the KTH Royal Institute of Technology, Stockholm, Sweden, during my time as a Ph.D. at the Western Norway University of Applied Sciences.
Read

Visualization and Abstractions for Execution Paths in Model-Based Software Testing
An approach to measure and visualize the execution path coverage criterion of test cases. Joint work with the KTH Royal Institute of Technology, Stockholm, Sweden, during my time as a Ph.D. at the Western Norway University of Applied Sciences.
Read