Primary tabs

Selected publications

Journal of Systems and Software (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

Find publication

Status

Departments

Year published

Export 1 results:
2018

Talks, invited

In International Symposium on Mathematical Optimization (ISMP'18), Bordeaux, France, 2018.
Status: Published