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

Journal articles

ACM Transactions on Software Engineering and Methodology (TOSEM) (2021).
Status: Accepted

Proceedings, refereed

In IEEE International Conference on Software Testing, Verification and Validation (ICST)). IEEE, 2021.
Status: Accepted
In The Third IEEE International Conference On Artificial Intelligence Testing. Oxford, England: IEEE, 2021.
Status: Accepted
In IEEE International Conference on Software Testing, 2021.
Status: Accepted
In The Genetic and Evolutionary Computation Conference. ACM, 2021.
Status: Published
In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Accepted

Technical reports

Simula Research Laboratory, Technical Report, 2021.
Status: Published

Talks, contributed

In 43rd International Conference on Software Engineering. IEEE, 2021.
Status: Published