Primary tabs

Most recent publications

In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017
In International Conference on Software Testing, Verification and Validation (ICST 2017) . IEEE, 2017.
Proceedings, refereed
2017
In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Proceedings, refereed
2017
In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Proceedings, refereed
2017

News

Students under supervision

Available Master's topics

Find publication

Status

Departments