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

Students under supervision

Available Master's topics

Find publication

Status

Export 8 results:
2021

Proceedings, refereed

2017

Proceedings, refereed

In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In International Conference on Software Testing, Verification and Validation (ICST 2017) . IEEE, 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
2015

Proceedings, refereed

In ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July. SciTePress, 2015.
Status: Published
In IEEE International Conference on Software Quality, Reliability and Security. Vancouver, Canada, August 3-5, 2015.
Status: Published
In The 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Madeira, Portugal, August 26-28. Funchal: IEEE, 2015.
Status: Published