Primary tabs

Most recent publications

In Proceedings of Principles of Constraint Programming (CP'17). Springer, 2017.
Proceedings, refereed
2017
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017
In 2015 International Symposium on Innovations in Intelligent SysTems and Applications (INISTA). IEEE, 2015.
Proceedings, refereed
2015

Selected publications

Journal of Systems and Software 165 (2020).
Journal Article
2020
In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19). Vol. 33. AAAI, 2019.
Proceedings, refereed
2019
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017

Background

PhD
Department of Informatics, University of Oslo
September 2020

Available Master's topics

Find publication

Status

Export 3 results:
2017

Proceedings, refereed

In Proceedings of Principles of Constraint Programming (CP'17). Springer, 2017.
Status: Published
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Status: Published
2015

Proceedings, refereed

In 2015 International Symposium on Innovations in Intelligent SysTems and Applications (INISTA). IEEE, 2015.
Status: Published