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

Students under supervision

Positions held

University of Oslo

Find publication

Export 241 results:
2021

Journal articles

Proceedings, refereed

In IEEE International Conference on Software Testing, Verification and Validation (ICST)). IEEE, 2021.
Status: Accepted
In IEEE International Conference on Software Testing, 2021.
Status: Accepted
In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Accepted
2020

Journal articles

ACM Transactions on Software Engineering and Methodology 29288, no. 2 (2020): 1-29.
Status: Published
ACM Transactions on Cyber-Physical Systems (2020).
Status: Accepted
ACM Transactions on Software Engineering and Methodology (2020).
Status: Accepted

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