Primary tabs

Most recent publications

ACM Transactions on Software Engineering and Methodology (2020).
Journal Article
2020
In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Proceedings, refereed
2020
ACM Transactions on Cyber-Physical Systems (2020).
Journal Article
2020
In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Proceedings, refereed
2020

News

Students under supervision

Find publication

Export 254 results:
2020

Journal articles

ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Status: Accepted
ACM Transactions on Cyber-Physical Systems (2020).
Status: Accepted
ACM Transactions on Software Engineering and Methodology (2020).
Status: Accepted

Proceedings, refereed

In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Status: Accepted
In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Status: Published

Technical reports

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

Talks, contributed

In 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
Status: Published
In International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). INSTICC , 2020.
Status: Published
2019

Journal articles

Information and Software Technology 111 (2019): 22-36.
Status: Published