Primary tabs

Selected publications

In Proc. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). Hawai, USA. Feb. 2019., 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

Departments

Year published