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

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

Students under supervision

Find publication

Status

Publication type

Export 2 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