Primary tabs

Selected publications

Information and Software Technology (IST) 87 (2017): 140-159.
Journal Article
2017
IEEE Transactions on Software Engineering (TSE) (2017).
Journal Article
2017
ACM Transactions on Software Engineering and Methodology 24, no. 3 (2015): 1-52.
Journal Article
2015

Positions held

University of Oslo

Find publication

Export 250 results:
2021

Talks, contributed

In IEEE International Conference on Software Testing, Verification and Validation . IEEE, 2021.
Status: Published
In IEEE International Conference on Software Testing, Verification and Validation , 2021.
Status: Published
2020

Journal articles

ACM Transactions on Software Engineering and Methodology 29 (2020).
Status: Published
ACM Transactions on Cyber-Physical Systems 4, no. 4 (2020): 24.
Status: Published
ACM Transactions on Software Engineering and Methodology 30, no. 1 (2020): 1-54.
Status: Published

Proceedings, refereed

In 12th Symposium on Search-Based Software Engineering. LNCS, 2020.
Status: Published
In 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, 2020.
Status: Published

Technical reports