Students under supervision
Available Master's topics
University of Oslo
ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
ACM Transactions on Cyber-Physical Systems (2020).
ACM Transactions on Software Engineering and Methodology (2020).
In 12th Symposium on Search-Based Software Engineering. LNCS, 2020.
Simula Research Laboratory, Technical Report, 2020.
In 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
In International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). INSTICC , 2020.
In IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), 2020.
In 1st Uncertainty in Modeling Workshop 2020, Co-located with the ACM/IEEE 213rd International Conference on Model Driven Engineering Languages and Systems, 2020.
Software Quality Journal 27, no. 2 (2019): 615-649.